Bücher online kaufen
Knowledge Representation, Reasoning and Declarative Problem Solving
-0 %
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
Artikel-Nr:
9780521147750
Veröffentl:
2010
Einband:
Paperback
Erscheinungsdatum:
02.06.2010
Seiten:
548
Autor:
Chitta Baral
Gewicht:
934 g
Format:
244x170x30 mm
Sprache:
Englisch
Beschreibung:
A practitioner's guide to knowledge representation and reasoning using logic programming.
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.