Skip to main content
  • Conference proceedings
  • © 2019

Logic Programming and Nonmonotonic Reasoning

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 2019.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (25 papers)

  1. Front Matter

    Pages i-xxi
  2. Applications

    1. Front Matter

      Pages 1-1
    2. Train Scheduling with Hybrid ASP

      • Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
      Pages 3-17
    3. Telco Network Inventory Validation with NoHR

      • Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
      Pages 18-31
    4. An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots

      • Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni et al.
      Pages 32-44
    5. C-ASP: Continuous ASP-Based Reasoning over RDF Streams

      • Thu-Le Pham, Muhammad Intizar Ali, Alessandra Mileo
      Pages 45-50
    6. Internet Routing and Non-monotonic Reasoning

      • Anduo Wang, Zhijia Chen
      Pages 51-57
  3. Argumentation

    1. Front Matter

      Pages 59-59
    2. Assessing Arguments with Schemes and Fallacies

      • Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard
      Pages 61-74
    3. Simple Contrapositive Assumption-Based Frameworks

      • Jesse Heyninck, Ofer Arieli
      Pages 75-88
    4. Argumentation-Based Explanations for Answer Sets Using ADF

      • Lena Rolf, Gabriele Kern-Isberner, Gerhard Brewka
      Pages 89-102
  4. Foundations and Complexity

    1. Front Matter

      Pages 103-103
    2. Treewidth and Counting Projected Answer Sets

      • Johannes K. Fichte, Markus Hecher
      Pages 105-119
    3. Splitting Epistemic Logic Programs

      • Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
      Pages 120-133
    4. Founded World Views with Autoepistemic Equilibrium Logic

      • Pedro Cabalar, Jorge Fandinno, Fariñas del Cerro Luis
      Pages 134-147
    5. Towards Dynamic Answer Set Programming over Finite Traces

      • Pedro Cabalar, Martín Diéguez, Torsten Schaub
      Pages 148-162
  5. Knowledge Representation and Reasoning

    1. Front Matter

      Pages 179-179
    2. Diagnosing Data Pipeline Failures Using Action Languages

      • Jori Bomanson, Alex Brik
      Pages 181-194
    3. Repair-Based Degrees of Database Inconsistency

      • Leopoldo Bertossi
      Pages 195-209

Other Volumes

  1. Logic Programming and Nonmonotonic Reasoning

About this book

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.

Editors and Affiliations

  • Saint Joseph's University, Philadelphia, USA

    Marcello Balduccini

  • University of Nebraska at Omaha, Omaha, USA

    Yuliya Lierler

  • TU Wien, Vienna, Austria

    Stefan Woltran

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access