Logic Programming and Nonmonotonic Reasoning

12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

  • Pedro Cabalar
  • Tran Cao Son
Conference proceedings LPNMR 2013

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

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

Table of contents

  1. Front Matter
  2. Gerhard Brewka
    Pages 1-10
  3. Robert Kowalski
    Pages 11-22
  4. Felicidad Aguado, Gilberto Pérez, Concepción Vidal
    Pages 23-35
  5. José Júlio Alferes, Matthias Knorr, Kewen Wang
    Pages 36-41
  6. Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni et al.
    Pages 42-53
  7. Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca
    Pages 54-66
  8. Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
    Pages 73-78
  9. Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
    Pages 79-91
  10. Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
    Pages 92-101
  11. Christian Antić, Thomas Eiter, Michael Fink
    Pages 102-115
  12. Saadat Anwar, Chitta Baral, Katsumi Inoue
    Pages 116-121
  13. Evgenii Balai, Michael Gelfond, Yuanlin Zhang
    Pages 135-147
  14. Marcello Balduccini, Yuliya Lierler, Peter Schüller
    Pages 148-160
  15. Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina
    Pages 168-173
  16. Ringo Baumann, Gerhard Brewka
    Pages 174-186

About these proceedings


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

Editors and affiliations

  • Pedro Cabalar
    • 1
  • Tran Cao Son
    • 2
  1. 1.Department of Computer ScienceUniversity of CorunnaCorunnaSpain
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40564-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40563-1
  • Online ISBN 978-3-642-40564-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment