Knowledge Representation, Reasoning and Declarative Problem Solving (Paperback)

Preface; 1. Declarative programming in AnsProlog*: introduction and preliminaries; 2. Simple modules for declarative programming with answer sets; 3. Principles and properties of declarative programming with answer sets; 4. Declarative problem solving and reasoning in AnsProlog*; 5. Reasoning about actions and planning in AnsProlog*; 6. Complexity, expressiveness, and other properties of AnsProlog* programs; 7. Answer set computing algorithms; 8. Query answering and answer set computing systems; 9. Further extensions of and alternatives to AnsProlog*; 10. Appendix A: Ordinals, lattices, and fixpoint theory; 11. Appendix B: Turing machines; Bibliography; Index of notation; Index of terms.