Knowledge representation, reasoning, and declarative problem solving / Chitta Baral.
Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching.
Saved in:
| Online Access: |
Full Text (via Cambridge) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2003.
|
| Subjects: |
Table of Contents:
- Cover; Half-title; Title; Copyright; Contents; Preface; Chapter 1 Declarative programming in AnsProlog*: introduction and preliminaries; Chapter 2 Simple modules for declarative programming with answer sets; Chapter 3 Principles and properties of declarative programming with answer sets; Chapter 4 Declarative problem solving and reasoning in AnsProlog*; Chapter 5 Reasoning about actions and planning in AnsProlog*; Chapter 6 Complexity, expressiveness, and other properties of AnsProlog* programs; Chapter 7 Answer set computing algorithms.