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
  17. Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
    Pages 242-249
  18. Marc Denecker, Gerhard Brewka, Hannes Strass
    Pages 250-264
  19. Emmanuelle-Anna Dietz, Steffen Hölldobler
    Pages 265-278
  20. Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn Shchekotykhin
    Pages 279-293
  21. Thomas Eiter, Mantas Šimkus
    Pages 294-308
  22. Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza
    Pages 309-316
  23. Esra Erdem, Volkan Patoglu, Zeynep Gozen Saribatur
    Pages 317-331
  24. Andreas Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn Shchekotykhin
    Pages 332-345
  25. Cristina Feier, Thomas Eiter
    Pages 346-353
  26. Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
    Pages 354-367
  27. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
    Pages 368-383
  28. Martin Gebser, Anna Ryabokon, Gottfried Schenner
    Pages 384-397
  29. Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
    Pages 398-410
  30. Theofrastos Mantadelis, Dimitar Shterionov, Gerda Janssens
    Pages 425-438
  31. Marco Maratea, Luca Pulina, Francesco Ricca
    Pages 439-445
  32. David Mitchell, Eugenia Ternovska
    Pages 446-452
  33. Mushthofa Mushthofa, Steven Schockaert, Martine De Cock
    Pages 453-466
  34. Claudia Schulz, Ken Satoh, Francesca Toni
    Pages 467-479
  35. Paul Vicol, James Delgrande, Torsten Schaub
    Pages 480-487
  36. Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz
    Pages 488-501
  37. Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone
    Pages 502-516
  38. Zhizheng Zhang, Shutao Zhang
    Pages 517-530
  39. Martin Gebser, Marco Maratea, Francesco Ricca
    Pages 531-544
  40. Back Matter
    Pages 573-574

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 Computer Science (R0)
  • 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
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences