Roberto Cordeschi (auth.), Oliviero Stock, Marco Schaerf (eds.)3540379010, 9783540379010
From the reviews:
“The overarching theme of reasoning about actions frames the collection of diverse papers presented in this book. Four main themes are covered: logic, search, artificial intelligence (AI) planning, and applications. … Overall, the book provides interesting information about the field of logic-based action representation and reasoning. It is an ideal beginning book for any researcher coming into the field.” (Aladdin Ayesh, ACM Computing Reviews, Vol. 49 (4), April, 2008)
Table of contents :
Front Matter….Pages –
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence….Pages 1-23
Research Perspectives for Logic and Deduction….Pages 25-43
Reductio ad Absurdum: Planning Proofs by Contradiction….Pages 45-58
Computational Logic in an Object-Oriented World….Pages 59-82
Best-First Rippling….Pages 83-100
Partial Solutions with Unique Completion….Pages 101-115
A Computerized Referee….Pages 117-139
About Implicit and Explicit Shape Representation….Pages 141-158
Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems….Pages 159-175
Coordination of Actions in an Autonomous Robotic System….Pages 177-191
Artificial Intelligence in RoboCup….Pages 193-211
Planning Under Uncertainty and Its Applications….Pages 213-228
Reasoning About Web Services in a Temporal Action Logic….Pages 229-246
Intelligent Search on the Internet….Pages 247-264
Cracking Crosswords: The Computer Challenge….Pages 265-286
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis….Pages 287-305
Examples of Integration of Induction and Deduction in Knowledge Discovery….Pages 307-326
SharedLife: Towards Selective Sharing of Augmented Personal Memories….Pages 327-342
Back Matter….Pages –
Reviews
There are no reviews yet.