دانلود کتاب Artificial Intelligence Techniques in Prolog

فهرست مطالب :

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