Reasoning, Action and Interaction in AI Theories and Systems

Essays Dedicated to Luigia Carlucci Aiello

AvOliviero Stock,Marco Schaerf

Häftad, Engelska, 2006

Del i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2006-09-04
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:343
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540379010

Utforska kategorier

Artificiell intelligens inom Data och IT

Recensioner i media

From the reviews: "The overarching theme of reasoning about actions frames the collection of diverse papers presented in this book. Four main themes are covered: logic, search, artificial intelligence (AI) planning, and applications. ... Overall, the book provides interesting information about the field of logic-based action representation and reasoning. It is an ideal beginning book for any researcher coming into the field." (Aladdin Ayesh, ACM Computing Reviews, Vol. 49 (4), April, 2008)

Innehållsförteckning

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.