Advertisement

Logic Programming and Nonmonotonic Reasoning

7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings

  • Vladimir Lifschitz
  • Ilkka Niemelä
Conference proceedings LPNMR 2004

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

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Henry Kautz
      Pages 2-2
    2. Paul Borchert, Christian Anger, Torsten Schaub, Mirosław Truszczyński
      Pages 3-7
  3. Regular Papers

    1. José J. Alferes, Federico Banti, Antonio Brogi, João A. Leite
      Pages 8-20
    2. Chitta Baral, Michael Gelfond, Nelson Rushton
      Pages 21-33
    3. Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael
      Pages 61-73
    4. Semra Doğandağ, Paolo Ferraris, Vladimir Lifschitz
      Pages 74-86
    5. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
      Pages 87-99
    6. Kathrin Konczak, Thomas Linke, Torsten Schaub
      Pages 127-140
    7. Joohyung Lee
      Pages 141-153
    8. Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
      Pages 154-166
    9. Victor W. Marek, Jeffrey B. Remmel
      Pages 167-179
    10. Emilia Oikarinen, Tomi Janhunen
      Pages 180-193
    11. David Pearce, Agustín Valverde
      Pages 194-206
    12. Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
      Pages 207-219
    13. Orkunt Sabuncu, Ferda N. Alpaslan, Varol Akman
      Pages 234-246
    14. Tran Cao Son, Enrico Pontelli
      Pages 247-260
    15. Tran Cao Son, Phan Huy Tu, Chitta Baral
      Pages 261-274
    16. Terrance Swift
      Pages 275-288
    17. Hudson Turner
      Pages 289-301
    18. Jeffrey Ward, John S. Schlipf
      Pages 302-313
  4. System Descriptions

    1. Tina Dell’Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer
      Pages 326-330
    2. Tomi Janhunen, Ilkka Niemelä
      Pages 331-335
    3. Nicola Leone, Vincenzino Lio, Giorgio Terracina
      Pages 341-345
    4. Yuliya Lierler, Marco Maratea
      Pages 346-350
    5. Lengning Liu, Mirosław Truszczyński
      Pages 351-355
    6. Enrico Pontelli, Tran Cao Son, Islam Elkabani
      Pages 356-360
    7. Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 361-364
  5. Back Matter

About these proceedings

Keywords

AI logics Erfüllbarkeitsproblem der Aussagenlogik answer set programming computational logics constraint programming knowledge-based systems learning logic logic programming logic-based programming nonclassical logics nonmonotonic reasoning optimization probabilistic reasoning semantics

Editors and affiliations

  • Vladimir Lifschitz
    • 1
  • Ilkka Niemelä
    • 2
  1. 1.Department of Computer SciencesUniversity of Texas at AustinUSA
  2. 2.Department of Information and Computer ScienceHelsinki University of Technology TKK 

Bibliographic information

  • DOI https://doi.org/10.1007/b94792
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20721-4
  • Online ISBN 978-3-540-24609-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site