LEADER 02968nam  2200565 a 450 
001 9910767520903321
005 20200520144314.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(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   $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.
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