Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / / Oliviero Stock, Marco Schaerf (eds.)

• Pubblicazione: Berlin ; ; New York, : Springer, 2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (XVIII, 343 p.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence
• Altri autori: StockOliviero SchaerfMarco Carlucci AielloL <1946-> (Luigia)
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Reasoning, action and interaction in AI theories and systems
• ISBN: 3-540-37902-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910767520903321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science. . -Lecture notes in artificial intelligence ; ; 4155.; LNCS sublibrary. : SL 7, . -Artificial intelligence.