LEADER 03433nam 2200601 a 450 001 9910767520903321 005 20251117050919.0 010 $a3-540-37902-9 024 7 $a10.1007/11829263 035 $a(CKB)1000000000283982 035 $a(SSID)ssj0000319752 035 $a(PQKBManifestationID)11236596 035 $a(PQKBTitleCode)TC0000319752 035 $a(PQKBWorkID)10354531 035 $a(PQKB)11325699 035 $a(DE-He213)978-3-540-37902-7 035 $a(MiAaPQ)EBC3068076 035 $a(PPN)123137705 035 $a(BIP)34164219 035 $a(BIP)13678554 035 $a(EXLCZ)991000000000283982 100 $a20060719d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aReasoning, action and interaction in AI theories and systems $eessays dedicated to Luigia Carlucci Aiello /$fOliviero Stock, Marco Schaerf (eds.) 205 $a1st ed. 2006. 210 $aBerlin ;$aNew York $cSpringer$d2006 215 $a1 online resource (XVIII, 343 p.) 225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence,$x0302-9743 ;$v4155 225 1 $aLNCS sublibrary. SL 7, Artificial intelligence 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-37901-0 320 $aIncludes bibliographical references and index. 327 $aSearching 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. 330 $aThe 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. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v4155. 410 0$aLNCS sublibrary.$nSL 7,$pArtificial intelligence. 606 $aArtificial intelligence 615 0$aArtificial intelligence. 676 $a006.3 701 $aStock$b Oliviero$0149777 701 $aSchaerf$b Marco$01760900 701 $aCarlucci Aiello$b L$g(Luigia),$f1946-$059944 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767520903321 996 $aReasoning, action and interaction in AI theories and systems$94200031 997 $aUNINA