Limit search to available items
Book Cover
E-book

Title Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / Oliviero Stock, Marco Schaerf (eds.)
Published Berlin ; New York : Springer, 2006

Copies

Description 1 online resource (xviii, 342 pages) : illustrations, portrait
Series Lecture notes in artificial intelligence. 0302-9743 ; 4155
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science ; 4155.
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science. Festschrift.
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
Summary The 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
Analysis informatiesystemen
information systems
internet
wiskunde
mathematics
computerwetenschappen
computer sciences
kunstmatige intelligentie
artificial intelligence
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes bibliographical references and index
Notes Print version record
In OhioLINK electronic book center
SpringerLink
Subject Artificial intelligence.
Artificial Intelligence
artificial intelligence.
Artificial intelligence.
Informatique.
Artificial intelligence
Genre/Form Festschriften
Festschriften.
Form Electronic book
Author Stock, Oliviero.
Schaerf, Marco.
LC no. 2006931263
ISBN 9783540379027
3540379029
9783540379010
3540379010