Logic Programming and Nonmonotonic Reasoning

9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

  • Editors
  • Chitta Baral
  • Gerhard Brewka
  • John Schlipf
Conference proceedings LPNMR 2007

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

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

Table of contents

  1. Front Matter
  2. Invited Talks/Competition

    1. Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Mirosław Truszczyński
      Pages 3-17
  3. Technical Papers

    1. Marcello Balduccini
      Pages 18-30
    2. Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 31-43
    3. Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
      Pages 44-57
    4. Philippe Chapdelaine, Miki Hermann, Ilka Schnoor
      Pages 58-70
    5. James P. Delgrande, Torsten Schaub, Hans Tompits
      Pages 71-83
    6. Wolfgang Faber, Nicola Leone
      Pages 97-109
    7. Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
      Pages 110-122
    8. Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
      Pages 123-135
    9. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
      Pages 136-148
    10. Martin Gebser, Joohyung Lee, Yuliya Lierler
      Pages 149-161
    11. Ping Hou, Johan Wittocx, Marc Denecker
      Pages 162-174
    12. Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
      Pages 175-187
    13. Vladimir Lifschitz, David Pearce, Agustín Valverde
      Pages 188-200
    14. Marc Meister, Khalil Djelloul, Jacques Robin
      Pages 201-213
    15. Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir
      Pages 214-227

About these proceedings

Keywords

AI logics answer set programming cognitive robotics complexity computational logics constraint programming database logic heuristics inference engines knowledge representation logic nonmonotonic reasoning programming language robot semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-72200-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72199-4
  • Online ISBN 978-3-540-72200-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book