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

DOI: 10.1007/b94792

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

Table of contents (35 papers)

  1. Front Matter
  2. Invited Papers

    1. Toward A Universal Inference Engine
      Henry Kautz
      Pages 2-2
    2. Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
      Paul Borchert, Christian Anger, Torsten Schaub, Mirosław Truszczyński
      Pages 3-7
  3. Regular Papers

    1. Semantics for Dynamic Logic Programming: A Principle-Based Approach
      José J. Alferes, Federico Banti, Antonio Brogi, João A. Leite
      Pages 8-20
    2. Probabilistic Reasoning With Answer Sets
      Chitta Baral, Michael Gelfond, Nelson Rushton
      Pages 21-33
    3. Reasoning About Actions and Change in Answer Set Programming
      Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael
      Pages 61-73
    4. Almost Definite Causal Theories
      Semra Doğandağ, Paolo Ferraris, Vladimir Lifschitz
      Pages 74-86
    5. Simplifying Logic Programs Under Uniform and Strong Equivalence
      Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
      Pages 87-99
    6. Graphs and Colorings for Answer Set Programming: Abridged Report
      Kathrin Konczak, Thomas Linke, Torsten Schaub
      Pages 127-140
    7. Nondefinite vs. Definite Causal Theories
      Joohyung Lee
      Pages 141-153
    8. Logic Programs With Monotone Cardinality Atoms
      Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
      Pages 154-166
    9. Set Constraints in Logic Programming
      Victor W. Marek, Jeffrey B. Remmel
      Pages 167-179
    10. Verifying the Equivalence of Logic Programs in the Disjunctive Case
      Emilia Oikarinen, Tomi Janhunen
      Pages 180-193
    11. Uniform Equivalence for Equilibrium Logic and Logic Programs
      David Pearce, Agustín Valverde
      Pages 194-206
    12. Partial Stable Models for Logic Programs with Aggregates
      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

  • 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