Logic Programming and Nonmonotonic Reasoning

1. Front Matter

   PDF

2. Towards Reactive Multi-Context Systems

   • Gerhard Brewka

   Pages 1-10

3. Logic Programming in the 1970s

   • Robert Kowalski

   Pages 11-22

4. Integrating Temporal Extensions of Answer Set Programming

   • Felicidad Aguado, Gilberto Pérez, Concepción Vidal

   Pages 23-35

5. Forgetting under the Well-Founded Semantics

   • José Júlio Alferes, Matthias Knorr, Kewen Wang

   Pages 36-41

6. The Fourth Answer Set Programming Competition: Preliminary Report

   • Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni et al.

   Pages 42-53

7. WASP: A Native ASP Solver Based on Constraint Learning

   • Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

   Pages 54-66

8. The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics

   • Mario Alviano, Wolfgang Faber

   Pages 67-72

9. ARVis: Visualizing Relations between Answer Sets

   • Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran

   Pages 73-78

10. Symbolic System Synthesis Using Answer Set Programming

    • Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß

    Pages 79-91

11. Accurate Computation of Sensitizable Paths Using Answer Set Programming

    • Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub

    Pages 92-101

12. Hex Semantics via Approximation Fixpoint Theory

    • Christian Antić, Thomas Eiter, Michael Fink

    Pages 102-115

13. Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

    • Saadat Anwar, Chitta Baral, Katsumi Inoue

    Pages 116-121

14. Cplus 2ASP: Computing Action Language \({\cal C}\)+ in Answer Set Programming

    • Joseph Babb, Joohyung Lee

    Pages 122-134

15. Towards Answer Set Programming with Sorts

    • Evgenii Balai, Michael Gelfond, Yuanlin Zhang

    Pages 135-147

16. Prolog and ASP Inference under One Roof

    • Marcello Balduccini, Yuliya Lierler, Peter Schüller

    Pages 148-160

17. Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information

    • Chitta Baral, Nguyen H. Vo

    Pages 161-167

18. Towards Query Answering in Relational Multi-Context Systems

    • Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina

    Pages 168-173

19. Spectra in Abstract Argumentation: An Analysis of Minimal Change

    • Ringo Baumann, Gerhard Brewka

    Pages 174-186

20. Normalizing Cardinality Rules Using Merging and Sorting Constructions

    • Jori Bomanson, Tomi Janhunen

    Pages 187-199

This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.

• answer-set programming
• equality reasoning
• logic programming
• program rewriting
• well-founded semantics

• Department of Computer Science, University of Corunna, Corunna, Spain

  Pedro Cabalar

• Department of Computer Science, New Mexico State University, Las Cruces, USA

  Tran Cao Son

Policies and ethics