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

Logic Programming and Nonmonotonic Reasoning

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

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)

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

Conference proceedings info: LPNMR 2007.

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

  1. Front Matter

    PDF

  2. Invited Talks/Competition

    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

    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

Back to top

Keywords

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