Book Volume 6565 2011

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

Editors:

ISBN: 978-3-642-20831-7 (Print) 978-3-642-20832-4 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Homage to Michael Gelfond on His 65 th Birthday

    1. No Access

      Chapter

      Pages 1-11

      Homage to Michael Gelfond on His 65 th Birthday

  3. Foundations: ASP and Theories of LP, KR, and NMR

    1. No Access

      Chapter

      Pages 12-32

      Answer Set Programming’s Contributions to Classical Logic

    2. No Access

      Chapter

      Pages 33-43

      Closure and Consistency Rationalities in Logic-Based Argumentation

    3. No Access

      Chapter

      Pages 44-63

      Manifold Answer-Set Programs and Their Applications

    4. No Access

      Chapter

      Pages 64-73

      On the Minimality of Stable Models

    5. No Access

      Chapter

      Pages 74-90

      Challenges in Answer Set Solving

    6. No Access

      Chapter

      Pages 91-110

      Exploring Relations between Answer Set Programs

    7. No Access

      Chapter

      Pages 111-130

      Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses

    8. No Access

      Chapter

      Pages 131-147

      Effectively Reasoning about Infinite Sets in Answer Set Programming

    9. No Access

      Chapter

      Pages 148-163

      Inspecting Side-Effects of Abduction in Logic Programs

    10. No Access

      Chapter

      Pages 164-180

      Argumentation and Answer Set Programming

    11. No Access

      Chapter

      Pages 181-190

      Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond

    12. No Access

      Chapter

      Pages 191-192

      Recollections on Michael Gelfond’s 65th Birthday

  4. ASP and Dynamic Domains

    1. No Access

      Chapter

      Pages 193-212

      Evolving Logic Programs with Temporal Operators

    2. No Access

      Chapter

      Pages 213-232

      On Representing Actions in Multi-agent Domains

    3. No Access

      Chapter

      Pages 233-258

      Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

    4. No Access

      Chapter

      Pages 259-279

      Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

    5. No Access

      Chapter

      Pages 280-299

      Refinement of History-Based Policies

    6. No Access

      Chapter

      Pages 300-314

      Translating General Game Descriptions into an Action Language

    7. No Access

      Chapter

      Pages 315-333

      Revisiting Epistemic Specifications

previous Page of 2