Advertisement

Logic Programming and Nonmonotonic Reasoning

15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

  • Marcello Balduccini
  • Yuliya Lierler
  • Stefan Woltran
Conference proceedings LPNMR 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11481)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 11481)

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Applications

    1. Front Matter
      Pages 1-1
    2. Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
      Pages 3-17
    3. Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
      Pages 18-31
    4. Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni et al.
      Pages 32-44
    5. Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo
      Pages 45-50
    6. Anduo Wang, Zhijia Chen
      Pages 51-57
  3. Argumentation

    1. Front Matter
      Pages 59-59
    2. Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard
      Pages 61-74
    3. Jesse Heyninck, Ofer Arieli
      Pages 75-88
    4. Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka
      Pages 89-102
  4. Foundations and Complexity

    1. Front Matter
      Pages 103-103
    2. Johannes K. Fichte, Markus Hecher
      Pages 105-119
    3. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
      Pages 120-133
    4. Pedro Cabalar, Jorge Fandinno, Fariñas del Cerro Luis
      Pages 134-147
    5. Pedro Cabalar, Martín Diéguez, Torsten Schaub
      Pages 148-162
  5. Knowledge Representation and Reasoning

  6. Systems

    1. Front Matter
      Pages 239-239
    2. Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca
      Pages 241-255
    3. Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
      Pages 256-269
    4. Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
      Pages 270-283
    5. Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
      Pages 284-297
    6. Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
      Pages 298-311
    7. Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile et al.
      Pages 312-325
    8. Tu-San Pham, Jo Devriendt, Patrick De Causmaecker
      Pages 340-346
  7. Back Matter
    Pages 347-348

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.

The 22 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 39 submissions.
The papers were organized in topical sections named: applications; argumentation; foundations and complexity; knowledge representation and reasoning; and systems.

Keywords

answer set answer set programming argumentation artificial intelligence databases genetic algorithms heuristic algorithms internet knowledge base knowledge representation knowledge-based system logic programming logic programs ontologies programming language programming languages semantics software engineering telecommunication networks wireless telecommunication systems

Editors and affiliations

  1. 1.Saint Joseph's UniversityPhiladelphiaUSA
  2. 2.University of Nebraska at OmahaOmahaUSA
  3. 3.TU WienViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-20528-7
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-20527-0
  • Online ISBN 978-3-030-20528-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Health & Hospitals
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering