default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Luigia Carlucci Aiello , 2006
- Oliviero Stock, Marco Schaerf:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
