search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Reasoning, Action and Interaction in AI Theories and Systems

Keyphrases

Publications

2006

Marco Gori, Marco Ernandes, Giovanni Angelini
Cracking Crosswords: The Computer Challenge. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Marco Cadoli, Marco Schaerf
Partial Solutions with Unique Completion. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Paolo Traverso
Planning Under Uncertainty and Its Applications. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Moa Johansson, Alan Bundy, Lucas Dixon
Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann
SharedLife: Towards Selective Sharing of Augmented Personal Memories. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Erica Melis, Martin Pollet, Jörg H. Siekmann
Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Fiora Pirri
About Implicit and Explicit Shape Representation. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Pietro Torasso, Gianluca Torta
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Alberto Martelli, Laura Giordano
Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Erik Sandewall
Coordination of Actions in an Autonomous Robotic System. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Roberto Serra, Marco Villani
Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Wolfgang Bibel
Research Perspectives for Logic and Deduction. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Franco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo
Examples of Integration of Induction and Deduction in Knowledge Discovery. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Roberto Cordeschi
Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Daniele Nardi, Luca Iocchi
Artificial Intelligence in RoboCup. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Bob Kowalski
Computational Logic in an Object-Oriented World. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Alessandro Micarelli, Fabio Gasparetti, Claudio Biancalana
Intelligent Search on the Internet. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz
A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems (2006)

volume 4155, 2006

Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello Reasoning, Action and Interaction in AI Theories and Systems 4155 (2006)