Knowledge representation, reasoning, and declarative problem solving /
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:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2003.
|
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |
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.