Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Stock, Oliviero (Editor), Schaerf, Marco (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4155
• Subjects: Computer science.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Information Systems Applications (incl. Internet).; Mathematical Logic and Formal Languages.

Table of Contents:

• 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.