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
    16. Jia-Huai You, Li Yan Yuan, Guohua Liu, Yi-Dong Shen
      Pages 228-240
    17. Yi Zhou, Fangzhen Lin, Yan Zhang
      Pages 241-253
  4. System Descriptions

    1. Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli
      Pages 254-259
    2. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
      Pages 260-265
    3. Martin Gebser, Torsten Schaub, Sven Thiele
      Pages 266-271
    4. Aaron Hunter, James P. Delgrande, Joel Faber
      Pages 272-277
    5. Gayathri Namasivayam, Mirosław Truszczyński
      Pages 278-283
    6. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
      Pages 284-289
    7. Phan Huy Tu, Tran Cao Son, Enrico Pontelli
      Pages 290-296
  5. Posters

    1. Edgardo Ferretti, Marcelo Errecalde, Alejandro J. García, Guillermo R. Simari
      Pages 297-302
    2. Veena S. Mellarkod, Michael Gelfond
      Pages 309-314
    3. Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
      Pages 315-320
    4. Emilia Oikarinen
      Pages 321-326
  6. Back Matter

About these proceedings


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-72199-4
  • Online ISBN 978-3-540-72200-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment