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

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) 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 -

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.