Logic Programming and Nonmonotonic Reasoning

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

  • James P. Delgrande
  • Wolfgang Faber

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-20895-9
  • 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
  • About this book