Advertisement

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
    3. Hai-Feng Guo
      Pages 253-265
    4. Jia-Huai You, Guohua Liu, Li Yan Yuan, Curtis Onuczko
      Pages 266-278
  8. Foundations

    1. Kewen Wang, Yan Zhang
      Pages 279-290
    2. Joost Vennekens, Marc Denecker
      Pages 291-303
    3. Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler
      Pages 304-316
  9. Semantics

    1. Francesco Buccafurri, Gianluca Caminiti
      Pages 317-329
    2. Alex Dekhtyar, Michael I. Dekhtyar
      Pages 330-342
    3. Sergei Odintsov, David Pearce
      Pages 343-355
    4. F. Banti, J. J. Alferes, A. Brogi, P. Hitzler
      Pages 356-368
  10. Application Track

    1. Gang Wu, Jia-Huai You, Guohui Lin
      Pages 369-373
    2. Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner
      Pages 374-378
    3. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata et al.
      Pages 379-383
    4. Kathrin Konczak, Ralf Vogel
      Pages 384-388
    5. Irene Papatheodorou, Antonis Kakas, Marek Sergot
      Pages 389-393
  11. System Track

    1. Susanne Grell, Kathrin Konczak, Torsten Schaub
      Pages 394-398
    2. Omar Elkhatib, Enrico Pontelli, Tran Cao Son
      Pages 399-404
    3. Lengning Liu, Mirosław Truszczyński
      Pages 410-415
    4. Thomas Eiter, Michael Fink, Ján Senko
      Pages 416-421
    5. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
      Pages 422-426
    6. Islam Elkabani, Enrico Pontelli, Tran Cao Son
      Pages 427-431
    7. Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell’Armi, Stefania Galizia, Giovanni Grasso
      Pages 432-436
    8. Thomas Eiter, Wolfgang Faber, Patrick Traxler
      Pages 437-441
  12. Back Matter

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
  • Buy this book on publisher's site