Logic Programming and Nonmonotonic Reasoning

10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Editors:

ISBN: 978-3-642-04237-9 (Print) 978-3-642-04238-6 (Online)

Table of contents (75 chapters)

previous Page of 4
  1. Front Matter

    Pages -

  2. Session 1. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-1

      SAT, SMT and Applications

    2. No Access

      Book Chapter

      Pages 2-2

      Logic-Based Modeling in Systems Biology

    3. No Access

      Book Chapter

      Pages 3-3

      Integrating Answer Set Programming and Satisfiability Modulo Theories

  3. Session 2. Technical Papers

    1. No Access

      Book Chapter

      Pages 4-16

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

    2. No Access

      Book Chapter

      Pages 17-29

      Splitting a CR-Prolog Program

    3. No Access

      Book Chapter

      Pages 30-43

      Contextual Argumentation in Ambient Intelligence

    4. No Access

      Book Chapter

      Pages 44-57

      Argumentation Context Systems: A Framework for Abstract Group Argumentation

    5. No Access

      Book Chapter

      Pages 58-70

      A Revised Concept of Safety for General Answer Set Programs

    6. No Access

      Book Chapter

      Pages 71-86

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

    7. No Access

      Book Chapter

      Pages 87-100

      Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

    8. No Access

      Book Chapter

      Pages 101-114

      Complexity of the Stable Model Semantics for Queries on Incomplete Databases

    9. No Access

      Book Chapter

      Pages 115-128

      Manifold Answer-Set Programs for Meta-reasoning

    10. No Access

      Book Chapter

      Pages 129-141

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

    11. No Access

      Book Chapter

      Pages 142-154

      Computing Stable Models via Reductions to Difference Logic

    12. No Access

      Book Chapter

      Pages 155-168

      A Module-Based Framework for Multi-language Constraint Modeling

    13. No Access

      Book Chapter

      Pages 169-181

      Induction on Failure: Learning Connected Horn Theories

    14. No Access

      Book Chapter

      Pages 182-195

      On Reductive Semantics of Aggregates in Answer Set Programming

    15. No Access

      Book Chapter

      Pages 196-208

      A First Order Forward Chaining Approach for Answer Set Computing

    16. No Access

      Book Chapter

      Pages 209-222

      Knowledge Qualification through Argumentation

    17. No Access

      Book Chapter

      Pages 223-235

      Simple Random Logic Programs

previous Page of 4