Reasoning, Action and Interaction in AI Theories and Systems  Essays Dedicated to Luigia Carlucci Aiello /  [electronic resource] : 
edited by Oliviero Stock, Marco Schaerf. 
 - 1st ed. 2006. 
 - XVIII, 343 p.  online resource. 
 - Lecture Notes in Artificial Intelligence,  4155  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  4155 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540379027 
<br/><br/><label>Standard No.: </label>10.1007/11829263  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Application software.<br/>Machine theory.<br/>Artificial Intelligence.<br/>Computer and Information Systems Applications.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3