Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello: Lecture Notes in Computer Science, cartea 4155

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.

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)