Knowledge Representation, Reasoning and Declarative Problem Solving

Name: Knowledge Representation, Reasoning and Declarative Problem Solving
Price: 90.49 USD
Availability: InStock
ISBN: 9780521818025

ISBN-10: 0521818028

ISBN-13: 9780521818025

Edition: 2002

Authors: Chitta Baral

List price: $161.00

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $90.49

what's this?

Rush Rewards U
Members Receive:

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.

Book details

List price: $161.00
Copyright year: 2002
Publisher: Cambridge University Press
Publication date: 1/9/2003
Binding: Hardcover
Pages: 546
Size: 6.69" wide x 9.61" long x 1.18" 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