Logic Programming and Nonmonotonic Reasoning

1. Front Matter

   PDF

2. Session 1. Invited Talks

   1. SAT, SMT and Applications

      • Armin Biere

      Pages 1-1

   2. Logic-Based Modeling in Systems Biology

      • Alexander Bockmayr

      Pages 2-2

   3. Integrating Answer Set Programming and Satisfiability Modulo Theories

      • Ilkka Niemelä

      Pages 3-3

3. Session 2. Technical Papers

   1. How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP

      • Marcello Balduccini

      Pages 4-16

   2. Splitting a CR-Prolog Program

      • Marcello Balduccini

      Pages 17-29

   3. Contextual Argumentation in Ambient Intelligence

      • Antonis Bikakis, Grigoris Antoniou

      Pages 30-43

   4. Argumentation Context Systems: A Framework for Abstract Group Argumentation

      • Gerhard Brewka, Thomas Eiter

      Pages 44-57

   5. A Revised Concept of Safety for General Answer Set Programs

      • Pedro Cabalar, David Pearce, Agustín Valverde

      Pages 58-70

   6. Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

      • Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

      Pages 71-86

   7. Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

      • Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

      Pages 87-100

   8. Complexity of the Stable Model Semantics for Queries on Incomplete Databases

      • Jos de Bruijn, Stijn Heymans

      Pages 101-114

   9. Manifold Answer-Set Programs for Meta-reasoning

      • Wolfgang Faber, Stefan Woltran

      Pages 115-128

   10. A Deductive System for FO(ID) Based on Least Fixpoint Logic

       • Ping Hou, Marc Denecker

       Pages 129-141

   11. Computing Stable Models via Reductions to Difference Logic

       • Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev

       Pages 142-154

   12. A Module-Based Framework for Multi-language Constraint Modeling

       • Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä

       Pages 155-168

   13. Induction on Failure: Learning Connected Horn Theories

       • Tim Kimber, Krysia Broda, Alessandra Russo

       Pages 169-181

   14. On Reductive Semantics of Aggregates in Answer Set Programming

       • Joohyung Lee, Yunsong Meng

       Pages 182-195

   15. A First Order Forward Chaining Approach for Answer Set Computing

       • Claire Lefèvre, Pascal Nicolas

       Pages 196-208

   16. Knowledge Qualification through Argumentation

       • Loizos Michael, Antonis Kakas

       Pages 209-222

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. The special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. The presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.

• AI logics
• Prolog
• SAT
• ambient intelligence
• artificial intelligence
• complexity
• constraint satisfaction
• disjunctive logic
• knowledge representation
• logic
• logic programming
• logic-based modeling
• magic sets
• nonmonotonic reasoning
• programming

• Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul, Turkey

  Esra Erdem

• Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay,, Hong Kong

  Fangzhen Lin

• Institut für Informatik, Universität Potsdam, Potsdam, Germany

  Torsten Schaub

Policies and ethics