Artificial Intelligence, Volume 168

Volume 168, Number 1-2, October 2005

• Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
  Weak AGM postulates and strong Ramsey Test: A logical formalization. 1-37
  
• Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
  In defense of PDDL axioms. 38-69
  
• Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
  Reasoning on UML class diagrams. 70-118
  
• Thomas Lukasiewicz:
  Weak nonmonotonic probabilistic logics. 119-161
  
• Pietro Baroni, Massimiliano Giacomin, Giovanni Guida:
  SCC-recursiveness: a general schema for argumentation semantics. 162-210