Reasoning, Action and Interaction in AI Theories and Systems
Essays Dedicated to Luigia Carlucci Aiello
Published on 4. September 2006
Book
Paperback/Softback
XVIII, 343 pages
978-3-540-37901-0 (ISBN)
Description
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.
Reviews / Votes
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)
More details
Series
Edition
2006 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XVIII, 343 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
563 gr
ISBN-13
978-3-540-37901-0 (9783540379010)
DOI
10.1007/11829263
Schweitzer Classification
Content
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.