๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Artificial Intelligence Techniques in Prolog

โœ Scribed by Yoav Shoham (Auth.)


Publisher
Elsevier Inc
Year
1994
Tongue
English
Leaves
332
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


Artificial Intelligence Techniques in Prolog

โœฆ Table of Contents


Content:
Front Matter, Page iii
Copyright, Page iv
Dedication, Page v
Preface, Pages xiii-xv
Acknowledgements, Pages xvi-xvii
Software Availability, Pages xviii-xix
Chapter 1 - On Prolog, Pages 1-11
Chapter 2 - Search, Pages 13-50
Chapter 3 - Backward-Chaining Methods, Pages 51-72
Chapter 4 - Other Rule-Based Methods, Pages 73-100
Chapter 5 - Truth Maintenance Systems, Pages 101-142
Chapter 6 - Constraint Satisfaction, Pages 143-163
Chapter 7 - Reasoning with Uncertainty, Pages 165-197
Chapter 8 - Planning and Temporal Reasoning, Pages 199-256
Chapter 9 - Machine Learning, Pages 257-293
Chapter 10 - Natural Language, Pages 295-315
Bibliography, Pages 317-323
Index, Pages 324-327


๐Ÿ“œ SIMILAR VOLUMES


Artificial Intelligence Techniques in Pr
โœ Yoav Shoham ๐Ÿ“‚ Library ๐Ÿ“… 1994 ๐Ÿ› Morgan Kaufmann Pub ๐ŸŒ English

This unique book is a broad, clear, up-to-date presentation of AI programming and problem-solving techniques. The techniques are presented in Prolog, which has become a widely used AI programming language throughout the world. The book will be useful as a text in technique-oriented introductory cour

Artificial intelligence techniques in po
โœ Kevin Warwick, Arthur O. Ekwue, Raj Aggarwal ๐Ÿ“‚ Library ๐Ÿ“… 1997 ๐Ÿ› Institution of Electrical Engineers ๐ŸŒ English

Research in artificial intelligence has developed many techniques and methodologies that can be adapted or used directly to solve complex power system problems