Skip to content

Knowledge Representation, Reasoning and Declarative Problem Solving

Spend $50 to get a free DVD!

ISBN-10: 0521818028

ISBN-13: 9780521818025

Edition: 2002

Authors: Chitta Baral

List price: $180.00
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

Knowledge management & knowledge-based intelligence are vital to today's economy & society. To exploit them fully requires the ability to represent & reason about knowledge via a declarative interface whose input language is based on logic. Baral presents such a language, AnsProlog.
Customers also bought

Book details

List price: $180.00
Copyright year: 2002
Publisher: Cambridge University Press
Publication date: 1/9/2003
Binding: Hardcover
Pages: 546
Size: 7.25" wide x 10.00" long x 1.25" tall
Weight: 2.684
Language: English

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