Logic Programming and Nonmonotonic Reasoning

13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

  • Francesco Calimeri
  • Giovambattista Ianni
  • Miroslaw Truszczynski
Conference proceedings LPNMR 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Pedro Cabalar
    Pages 1-13
  3. Jérôme Lang
    Pages 14-19
  4. Nada Lavrač, Anže Vavpetič
    Pages 20-31
  5. Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
    Pages 32-39
  6. Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca
    Pages 40-54
  7. Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
    Pages 55-68
  8. Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub
    Pages 69-82
  9. Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
    Pages 83-96
  10. Joseph Babb, Joohyung Lee
    Pages 97-111
  11. Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub et al.
    Pages 112-126
  12. Justin Blount, Michael Gelfond, Marcello Balduccini
    Pages 134-142
  13. Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
    Pages 143-150
  14. Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub
    Pages 158-172
  15. Matthew Buddenhagen, Yuliya Lierler
    Pages 186-198
  16. Pedro Cabalar, Jorge Fandinno
    Pages 199-212

About these proceedings


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 29 long 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

Editors and affiliations

  • Francesco Calimeri
    • 1
  • Giovambattista Ianni
    • 2
  • Miroslaw Truszczynski
    • 3
  1. 1.University of CalabriaRendeItaly
  2. 2.University of CalabriaRendeItaly
  3. 3.University of Kentucky Dept. Computer ScienceLexingtonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-23263-8
  • Online ISBN 978-3-319-23264-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site