Skip to main content
SpringerLink
Log in

Logic Programming and Nonmonotonic Reasoning

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Marcello Balduccini

    1. Saint Joseph's University, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yuliya Lierler

    1. University of Nebraska at Omaha, Omaha, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stefan Woltran

    1. TU Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: LPNMR 2019.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Applications

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    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

    6. A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur

      • Sopo Pkhakadze, Hans Tompits
      Pages 163-177

  5. Knowledge Representation and Reasoning

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    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
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation