Reasoning, Action and Interaction in AI Theories and Systems

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.