Amazon cover image
Image from Amazon.com

Reasoning, Action and Interaction in AI Theories and Systems [electronic resource] : Essays Dedicated to Luigia Carlucci Aiello /

Contributor(s): Material type: TextTextSeries: Lecture Notes in Artificial Intelligence ; 4155Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006Description: XVIII, 343 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540379027
Subject(s): Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 006.3 23
LOC classification:
  • Q334-342
  • TA347.A78
Online resources:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    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 on this title.

to post a comment.
© 2024 IIIT-Delhi, library@iiitd.ac.in