Central Library

Normal view MARC view ISBD view

Reasoning, Action and Interaction in AI Theories and Systems [electronic resource] : Essays Dedicated to Luigia Carlucci Aiello / edited by Oliviero Stock, Marco Schaerf.

Contributor(s): Stock, Oliviero [editor.] | Schaerf, Marco [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Artificial Intelligence: 4155Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006.Description: XVIII, 343 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540379027.Subject(s): Artificial intelligence | Application software | Machine theory | Artificial Intelligence | Computer and Information Systems Applications | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.