Skip to main content
SpringerLink
Log in
Book cover

Logic Programming and Nonmonotonic Reasoning

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Vladimir Lifschitz

    1. Department of Computer Sciences, University of Texas at Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ilkka Niemelä

    1. Department of Information and Computer Science, Helsinki University of Technology TKK,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LPNMR 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Constraints and Probabilistic Networks: A Look At The Interface

      • Rina Dechter
      Pages 1-1

    2. Toward A Universal Inference Engine

      • Henry Kautz
      Pages 2-2

    3. 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. Answer Sets: From Constraint Programming Towards Qualitative Optimization

      • Gerhard Brewka
      Pages 34-46

    4. A Logic of Non-monotone Inductive Definitions and Its Modularity Properties

      • Marc Denecker, Eugenia Ternovska
      Pages 47-60

    5. Reasoning About Actions and Change in Answer Set Programming

      • Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael
      Pages 61-73

    6. Almost Definite Causal Theories

      • Semra Doğandağ, Paolo Ferraris, Vladimir Lifschitz
      Pages 74-86

    7. Simplifying Logic Programs Under Uniform and Strong Equivalence

      • Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
      Pages 87-99

    8. Towards Automated Integration of Guess and Check Programs in Answer Set Programming

      • Thomas Eiter, Axel Polleres
      Pages 100-113

    9. Towards Automated Integration of Guess and Check Programs in Answer Set Programming

      • Thomas Eiter, Axel Polleres
      Pages 114-126

    10. Graphs and Colorings for Answer Set Programming: Abridged Report

      • Kathrin Konczak, Thomas Linke, Torsten Schaub
      Pages 127-140

    11. Nondefinite vs. Definite Causal Theories

      • Joohyung Lee
      Pages 141-153

    12. Logic Programs With Monotone Cardinality Atoms

      • Victor W. Marek, Ilkka Niemelä, Mirosław Truszczyński
      Pages 154-166

    13. Set Constraints in Logic Programming

      • Victor W. Marek, Jeffrey B. Remmel
      Pages 167-179

    14. Verifying the Equivalence of Logic Programs in the Disjunctive Case

      • Emilia Oikarinen, Tomi Janhunen
      Pages 180-193

    15. Uniform Equivalence for Equilibrium Logic and Logic Programs

      • David Pearce, Agustín Valverde
      Pages 194-206

    16. Partial Stable Models for Logic Programs with Aggregates

      • Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
      Pages 207-219
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

Editors and Affiliations

  • Department of Computer Sciences, University of Texas at Austin, USA

    Vladimir Lifschitz

  • Department of Information and Computer Science, Helsinki University of Technology TKK,  

    Ilkka Niemelä

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation