Knowledge Representation, Reasoning and Declarative Problem Solving

Knowledge Representation, Reasoning and Declarative Problem Solving

by Chitta Baral
     
 

Practitioner's guide to knowledge representation and reasoning using logic programming.See more details below

Overview

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

Product Details

ISBN-13:
9780521147750
Publisher:
Cambridge University Press
Publication date:
05/27/2010
Pages:
548
Product dimensions:
6.70(w) x 9.50(h) x 1.20(d)

Table of Contents

Preface
1Declarative programming in AnsProlog: introduction and preliminaries1
2Simple modules for declarative programming with answer sets46
3Principles and properties of declarative programming with answer sets83
4Declarative problem solving and reasoning in AnsProlog170
5Reasoning about actions and planning in AnsProlog199
6Complexity, expressiveness, and other properties of AnsProlog programs278
7Answer set computing algorithms345
8Query answering and answer set computing systems382
9Further extensions of and alternatives to AnsProlog458
App. AOrdinals, lattices, and fixpoint theory494
App. BTuring machines496
Bibliography498
Index of notation519
Index of terms522

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >