Logic Programming and Nonmonotonic Reasoning

1. Front Matter

   Pages I-XIV

   PDF

2. Stable Models for Temporal Theories

   • Pedro Cabalar

   Pages 1-13

3. Algorithmic Decision Theory Meets Logic

   • Jérôme Lang

   Pages 14-19

4. Relational and Semantic Data Mining

   • Nada Lavrač, Anže Vavpetič

   Pages 20-31

5. Shift Design with Answer Set Programming

   • Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran

   Pages 32-39

6. Advances in WASP

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

   Pages 40-54

7. Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics

   • Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

   Pages 55-68

8. Integrating ASP into ROS for Reasoning in Robots

   • Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub

   Pages 69-82

9. Automated Inference of Rules with Exception from Past Legal Cases Using ASP

   • Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo

   Pages 83-96

10. Online Action Language \(o\mathcal {BC}\)+

    • Joseph Babb, Joohyung Lee

    Pages 97-111

11. aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

    • Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub et al.

    Pages 112-126

12. “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis

    • Chitta Baral, Tran Cao Son

    Pages 127-133

13. A Theory of Intentions for Intelligent Agents

    • Justin Blount, Michael Gelfond, Marcello Balduccini

    Pages 134-142

14. Answer Set Programming Modulo Acyclicity

    • Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

    Pages 143-150

15. A Framework for Goal-Directed Query Evaluation with Negation

    • Stefan Brass

    Pages 151-157

16. Implementing Preferences with asprin

    • Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub

    Pages 158-172

17. Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP

    • Alex Brik, Jeffrey Remmel

    Pages 173-185

18. Performance Tuning in Answer Set Programming

    • Matthew Buddenhagen, Yuliya Lierler

    Pages 186-198

19. Enablers and Inhibitors in Causal Justifications of Logic Programs

    • Pedro Cabalar, Jorge Fandinno

    Pages 199-212

20. Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams

    • Günther Charwat, Stefan Woltran

    Pages 213-227

This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

• Answer set programming
• Artificial intelligence
• Constraint and logic programming
• Knowledge representation and reasoning
• Solvers
• Automated reasoning
• Belief revision
• Deductive databases
• Default reasoning
• Digital forensics
• Forensic models
• Graded modality
• Heuristics
• Nonmonotonic reasoning
• Object-oriented modeling
• Program rewriting
• Reasoning about belief and knowledge
• Semantic data mining
• Software systems
• Well-founded semantics

• University of Calabria, Rende, Italy

  Francesco Calimeri, Giovambattista Ianni

• University of Kentucky Dept. Computer Science, Lexington, USA

  Miroslaw Truszczynski

Policies and ethics