60. Birthday: Luigia Carlucci Aiello, 2006

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