Skip to main content
SpringerLink
Log in
Book cover

Logic Programming and Nonmonotonic Reasoning

9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Chitta Baral
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerhard Brewka
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. John Schlipf
    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 4483)

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

Included in the following conference series:

Conference proceedings info: LPNMR 2007.

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 (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks/Competition

    1. Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications

      • Nicola Leone
      Pages 1-1

    2. Policy-Based Computing: From Systems and Applications to Theory

      • Jorge Lobo
      Pages 2-2

    3. The First Answer Set Programming System Competition

      • Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, MirosÅ‚aw TruszczyÅ„ski
      Pages 3-17

  3. Technical Papers

    1. cr-models: An Inference Engine for CR-Prolog

      • Marcello Balduccini
      Pages 18-30

    2. Debugging ASP Programs by Means of ASP

      • Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
      Pages 31-43

    3. A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

      • Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
      Pages 44-57

    4. Complexity of Default Logic on Generalized Conjunctive Queries

      • Philippe Chapdelaine, Miki Hermann, Ilka Schnoor
      Pages 58-70

    5. A Preference-Based Framework for Updating Logic Programs

      • James P. Delgrande, Torsten Schaub, Hans Tompits
      Pages 71-83

    6. Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions

      • Marc Denecker, Joost Vennekens
      Pages 84-96

    7. On the Complexity of Answer Set Programming with Aggregates

      • Wolfgang Faber, Nicola Leone
      Pages 97-109

    8. Experimenting with Look-Back Heuristics for Hard ASP Programs

      • Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
      Pages 110-122

    9. Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains

      • Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
      Pages 123-135

    10. Conflict-Driven Answer Set Enumeration

      • Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
      Pages 136-148

    11. Head-Elementary-Set-Free Logic Programs

      • Martin Gebser, Joohyung Lee, Yuliya Lierler
      Pages 149-161

    12. A Deductive System for PC(ID)

      • Ping Hou, Johan Wittocx, Marc Denecker
      Pages 162-174

    13. Modularity Aspects of Disjunctive Stable Models

      • Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
      Pages 175-187

    14. A Characterization of Strong Equivalence for Logic Programs with Variables

      • Vladimir Lifschitz, David Pearce, Agustín Valverde
      Pages 188-200

    15. A Unified Semantics for Constraint Handling Rules in Transaction Logic

      • Marc Meister, Khalil Djelloul, Jacques Robin
      Pages 201-213

    16. Conditional Planning with External Functions

      • Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir
      Pages 214-227
Back to top

Other volumes

  1. Logic Programming and Nonmonotonic Reasoning

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation