Logic Programming and Nonmonotonic Reasoning

8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

  • Chitta Baral
  • Gianluigi Greco
  • Nicola Leone
  • Giorgio Terracina

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

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Michael Kifer
      Pages 1-12
    2. Jürgen Angele, Eddie Moench, Henrik Oppermann, Dirk Wenke
      Pages 26-39
  3. ASP Foundations

    1. Martin Gebser, Torsten Schaub
      Pages 53-65
    2. Victor W. Marek, Inna Pivkina, Mirosław Truszczyński
      Pages 66-78
  4. ASP Extensions

    1. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 92-104
    2. Francesco Calimeri, Giovambattista Ianni
      Pages 105-118
    3. Paolo Ferraris
      Pages 119-131
  5. Applications

    1. Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
      Pages 132-144
    2. Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
      Pages 145-157
    3. Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo
      Pages 158-171
  6. Actions and Causations

    1. Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
      Pages 172-184
    2. Alberto Finzi, Thomas Lukasiewicz
      Pages 185-197
    3. Marek Sergot, Robert Craven
      Pages 198-210
  7. Algorithms and Computation

    1. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
      Pages 227-239
    2. Wolfgang Faber, Francesco Ricca
      Pages 240-252

About these proceedings

Keywords

Extension algorithms complexity heuristics knowledge logic nonmonotonic reasoning programming software engineering

Editors and affiliations

  • Chitta Baral
    • 1
  • Gianluigi Greco
    • 2
  • Nicola Leone
    • 3
  • Giorgio Terracina
    • 2
  1. 1.School of Computing and InformaticsArizona State UniversityTempe
  2. 2.Dipartimento di MatematicaUniversità della CalabriaRendeItaly
  3. 3.Department of MathematicsUniversity of CalabriaRendeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/11546207
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28538-0
  • Online ISBN 978-3-540-31827-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book