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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Stock, Oliviero (Επιμελητής έκδοσης), Schaerf, Marco (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4155
• Θέματα: Computer science.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Information Systems Applications (incl. Internet).; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

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