Reasoning, Action and Interaction in AI Theories and Systems

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)

Klappentext

The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work.

Inhalt
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence.- Research Perspectives for Logic and Deduction.- Reductio ad Absurdum: Planning Proofs by Contradiction.- Computational Logic in an Object-Oriented World.- Best-First Rippling.- Partial Solutions with Unique Completion.- A Computerized Referee.- About Implicit and Explicit Shape Representation.- Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems.- Coordination of Actions in an Autonomous Robotic System.- Artificial Intelligence in RoboCup.- Planning Under Uncertainty and Its Applications.- Reasoning About Web Services in a Temporal Action Logic.- Intelligent Search on the Internet.- Cracking Crosswords: The Computer Challenge.- Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.- Examples of Integration of Induction and Deduction in Knowledge Discovery.- SharedLife: Towards Selective Sharing of Augmented Personal Memories.