Abstract is missing.
- Searching in a Maze, in Search of Knowledge: Issues in Early Artificial IntelligenceRoberto Cordeschi. 1-23 [doi]
- Research Perspectives for Logic and DeductionWolfgang Bibel. 25-43 [doi]
- Reductio ad Absurdum: Planning Proofs by ContradictionErica Melis, Martin Pollet, Jörg H. Siekmann. 45-58 [doi]
- Computational Logic in an Object-Oriented WorldBob Kowalski. 59-82 [doi]
- Best-First RipplingMoa Johansson, Alan Bundy, Lucas Dixon. 83-100 [doi]
- Partial Solutions with Unique CompletionMarco Cadoli, Marco Schaerf. 101-115 [doi]
- A Computerized RefereeEugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz. 117-139 [doi]
- About Implicit and Explicit Shape RepresentationFiora Pirri. 141-158 [doi]
- Agents, Equations and All That: On the Role of Agents in Understanding Complex SystemsRoberto Serra, Marco Villani. 159-175 [doi]
- Coordination of Actions in an Autonomous Robotic SystemErik Sandewall. 177-191 [doi]
- Artificial Intelligence in RoboCupDaniele Nardi, Luca Iocchi. 193-211 [doi]
- Planning Under Uncertainty and Its ApplicationsPaolo Traverso. 213-228 [doi]
- Reasoning About Web Services in a Temporal Action LogicAlberto Martelli, Laura Giordano. 229-246 [doi]
- Intelligent Search on the InternetAlessandro Micarelli, Fabio Gasparetti, Claudio Biancalana. 247-264 [doi]
- Cracking Crosswords: The Computer ChallengeMarco Gori, Marco Ernandes, Giovanni Angelini. 265-286 [doi]
- Model-Based Diagnosis Through OBDD Compilation: A Complexity AnalysisPietro Torasso, Gianluca Torta. 287-305 [doi]
- Examples of Integration of Induction and Deduction in Knowledge DiscoveryFranco Turini, Miriam Baglioni, Barbara Furletti, Salvatore Rinzivillo. 307-326 [doi]
- SharedLife: Towards Selective Sharing of Augmented Personal MemoriesWolfgang Wahlster, Alexander Kröner, Dominik Heckmann. 327-342 [doi]