Oliviero Stock, Marco Schaerf (Eds.):
Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello.
Lecture Notes in Computer Science 4155 Springer 2006, ISBN 3-540-37901-0 
- Roberto Cordeschi:
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence.
1-23
- Wolfgang Bibel:
Research Perspectives for Logic and Deduction.
25-43
- Erica Melis, Martin Pollet, Jörg H. Siekmann:
Reductio ad Absurdum: Planning Proofs by Contradiction.
45-58
- Bob Kowalski:
Computational Logic in an Object-Oriented World.
59-82
- Moa Johansson, Alan Bundy, Lucas Dixon:
Best-First Rippling.
83-100
- Marco Cadoli, Marco Schaerf:
Partial Solutions with Unique Completion.
101-115
- Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz:
A Computerized Referee.
117-139
- Fiora Pirri:
About Implicit and Explicit Shape Representation.
141-158
- Roberto Serra, Marco Villani:
Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems.
159-175
- Erik Sandewall:
Coordination of Actions in an Autonomous Robotic System.
177-191
- Daniele Nardi, Luca Iocchi:
Artificial Intelligence in RoboCup.
193-211
- Paolo Traverso:
Planning Under Uncertainty and Its Applications.
213-228
- Alberto Martelli, Laura Giordano:
Reasoning About Web Services in a Temporal Action Logic.
229-246
- Alessandro Micarelli, Fabio Gasparetti, Claudio Biancalana:
Intelligent Search on the Internet.
247-264
- Marco Gori, Marco Ernandes, Giovanni Angelini:
Cracking Crosswords: The Computer Challenge.
265-286
- Pietro Torasso, Gianluca Torta:
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.
287-305
- Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo:
Examples of Integration of Induction and Deduction in Knowledge Discovery.
307-326
- Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann:
SharedLife: Towards Selective Sharing of Augmented Personal Memories.
327-342
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
