Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Logic Programming and Nonmonotonic Reasoning

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

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)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 2004.

Sections

Buy it now

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

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

Table of contents (35 papers)

  1. Front Matter

    PDF

  2. Invited Papers

    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

    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

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

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

    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

Back to top

Keywords

Back to top

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ä

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation