Logic Programming and Nonmonotonic Reasoning

11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

  • James P. Delgrande
  • Wolfgang Faber
Conference proceedings LPNMR 2011

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Technical Papers

    1. Long Technical Papers

      1. Carlos Viegas Damásio, João Moura
        Pages 13-25
      2. Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
        Pages 26-39
      3. Ringo Baumann
        Pages 40-53
      4. Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
        Pages 54-66
      5. Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
        Pages 67-79
      6. Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
        Pages 80-92
      7. Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller
        Pages 93-106
      8. Thomas Eiter, Michael Fink, Peter Schüller
        Pages 107-119
      9. Michael Fink, Lucantonio Ghionna, Antonius Weinzierl
        Pages 120-133
      10. Johannes Oetsch, Jörg Pührer, Hans Tompits
        Pages 134-147
      11. Mario Alviano, Gianluigi Greco, Nicola Leone
        Pages 148-160
      12. Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You
        Pages 161-173
      13. Martin Slota, João Leite
        Pages 174-186
  4. Short Technical Papers

    1. Ho-Pun Lam, Guido Governatori
      Pages 187-192
    2. Antonis Bikakis, Grigoris Antoniou
      Pages 193-198
    3. Diego R. García, Sebastián Gottifredi, Patrick Krümpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa et al.
      Pages 199-204
    4. Emad Saad, Gerhard Brewka
      Pages 211-216
    5. Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina
      Pages 217-222
    6. Luis Fariñas del Cerro, Andreas Herzig
      Pages 223-228
    7. Stefania Costantini, Andrea Formisano
      Pages 229-235
    8. Ricardo Gonçalves, José Júlio Alferes
      Pages 236-241
    9. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
      Pages 242-247
    10. Michael Gelfond
      Pages 260-265
    11. Mikoláš Janota, Joao Marques-Silva
      Pages 266-271
    12. Ana Sofia Gomes, José Júlio Alferes
      Pages 272-277
    13. Mauricio Osorio, José Luis Carballido, Claudia Zepeda
      Pages 278-283
  5. Application Descriptions

    1. Long Application Description

      1. Marcello Balduccini
        Pages 284-296
    2. Short Application Descriptions

      1. Steve Barker, Valerio Genovese
        Pages 297-303
      2. Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu
        Pages 311-316
  6. System Descriptions

    1. Long System Descriptions

      1. Onofrio Febbraro, Kristian Reale, Francesco Ricca
        Pages 317-330
      2. Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama
        Pages 331-344
    2. Short System Descriptions

      1. Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub
        Pages 345-351
      2. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller
        Pages 352-357
      3. Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub
        Pages 358-363
      4. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor
        Pages 364-369
      5. Pedro Cabalar, Martín Diéguez
        Pages 370-375
      6. Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You
        Pages 376-381
      7. Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl
        Pages 382-387
  7. ASP Competition

    1. Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano et al.
      Pages 388-403
  8. Back Matter

About these proceedings


This volume contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. The 16 revised full papers (13 technical papers, 1 application description, and 2 system descriptions) and 26 short papers (16 technical papers, 3 application description, and 7 system descriptions) which were carefully reviewed and selected from numerous submissions, are presented together with 3 invited talks. 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 debugging and testing model-driven engineering program analysis statistical relational learning

Editors and affiliations

  • James P. Delgrande
    • 1
  • Wolfgang Faber
    • 2
  1. 1.School of Computing ScienceSimon Fraser UniversityBurnabyCanada
  2. 2.Department of MathematicsUniversity of CalabriaRende (CS)Italy

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20894-2
  • Online ISBN 978-3-642-20895-9
  • 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