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
Conference proceedings LPNMR 2005

DOI: 10.1007/11546207

Part of the Lecture Notes in Computer Science book series (LNCS, 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

  • 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