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)

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

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