Chitta Baral

Knowledge Representation, Reasoning and Declarative Problem Solving

• Broschiertes Buch

Produktbeschreibung

A practitioner's guide to knowledge representation and reasoning using logic programming.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 548
• Erscheinungstermin: 2. Juni 2010
• Englisch
• Abmessung: 244mm x 170mm x 30mm
• Gewicht: 934g
• ISBN-13: 9780521147750
• ISBN-10: 0521147751
• Artikelnr.: 30976425

Inhaltsangabe

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.