Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Homage to Michael Gelfond on His 65 th Birthday
3. Altmetric Badge
   Chapter 2 Answer Set Programming’s Contributions to Classical Logic
4. Altmetric Badge
   Chapter 3 Closure and Consistency Rationalities in Logic-Based Argumentation
5. Altmetric Badge
   Chapter 4 Manifold Answer-Set Programs and Their Applications
6. Altmetric Badge
   Chapter 5 On the Minimality of Stable Models
7. Altmetric Badge
   Chapter 6 Challenges in Answer Set Solving
8. Altmetric Badge
   Chapter 7 Exploring Relations between Answer Set Programs
9. Altmetric Badge
   Chapter 8 Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
10. Altmetric Badge
    Chapter 9 Effectively Reasoning about Infinite Sets in Answer Set Programming
11. Altmetric Badge
    Chapter 10 Inspecting Side-Effects of Abduction in Logic Programs
12. Altmetric Badge
    Chapter 11 Argumentation and Answer Set Programming
13. Altmetric Badge
    Chapter 12 Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond
14. Altmetric Badge
    Chapter 13 Recollections on Michael Gelfond’s 65th Birthday
15. Altmetric Badge
    Chapter 14 Evolving Logic Programs with Temporal Operators
16. Altmetric Badge
    Chapter 15 On Representing Actions in Multi-agent Domains
17. Altmetric Badge
    Chapter 16 Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
18. Altmetric Badge
    Chapter 17 Perspectives on Logic-Based Approaches for Reasoning about Actions and Change
19. Altmetric Badge
    Chapter 18 Refinement of History-Based Policies
20. Altmetric Badge
    Chapter 19 Translating General Game Descriptions into an Action Language
21. Altmetric Badge
    Chapter 20 Revisiting Epistemic Specifications
22. Altmetric Badge
    Chapter 21 Answer Set; Programming?
23. Altmetric Badge
    Chapter 22 Michael Gelfond: Essay in Honour of His 65th Birthday
24. Altmetric Badge
    Chapter 23 PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information
25. Altmetric Badge
    Chapter 24 ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory
26. Altmetric Badge
    Chapter 25 A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design
27. Altmetric Badge
    Chapter 26 Applications of Answer Set Programming in Phylogenetic Systematics
28. Altmetric Badge
    Chapter 27 ASP at Work: Spin-off and Applications of the DLV System
29. Altmetric Badge
    Chapter 28 Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System
30. Altmetric Badge
    Chapter 29 On the Practical Side of Answer Set Programming
31. Altmetric Badge
    Chapter 30 ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents
32. Altmetric Badge
    Chapter 31 Tea Times with Gelfond