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
  17. Daniel Borchmann
    Pages 200-205
  18. Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele
    Pages 206-218
  19. Timothy Cerexhe, Orkunt Sabuncu, Michael Thielscher
    Pages 219-232
  20. Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl et al.
    Pages 233-238
  21. Wu Chen, Dongmo Zhang, Maonian Wu
    Pages 239-244
  22. Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel et al.
    Pages 245-256
  23. Stefania Costantini, Andrea Formisano
    Pages 257-263
  24. James Delgrande, Pavlos Peppas, Stefan Woltran
    Pages 264-276
  25. Manfred Eppe, Mehul Bhatt, Frank Dylla
    Pages 290-303
  26. Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
    Pages 304-316
  27. Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller
    Pages 317-322
  28. Melanie Frühstück, Jörg Pührer, Gerhard Friedrich
    Pages 323-328
  29. Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis
    Pages 329-341
  30. Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub
    Pages 342-347
  31. Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub et al.
    Pages 348-360
  32. Ricardo Gonçalves, José Júlio Alferes
    Pages 361-373
  33. Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
    Pages 374-386
  34. Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
    Pages 387-394
  35. Markus Krötzsch, Despoina Magka, Ian Horrocks
    Pages 414-426
  36. Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza
    Pages 427-432
  37. Artur Mikitiuk, Miroslaw Truszczynski
    Pages 433-438
  38. Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
    Pages 439-451
  39. Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich
    Pages 452-464
  40. Anna Ryabokon, Gerhard Friedrich, Andreas A. Falkner
    Pages 465-478
  41. Ari Saptawijaya, Luís Moniz Pereira
    Pages 479-484
  42. Nicolas Schwind, Katsumi Inoue
    Pages 485-498

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
  • 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
  • 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