Artificial Intelligence, Volume 115

Volume 115, Number 1, November 1999

• Thomas Drakengren, Marcus Bjäreland:
  Reasoning About Action in Polynomial Time. 1-24
  
• Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
  The Size of a Revised Knowledge Base. 25-64
  
• Erica Melis, Jörg H. Siekmann:
  Knowledge-Based Proof Planning. 65-105
  
• Andreas Herzig, Omar Rifi:
  Propositional Belief Base Update and Minimal Change. 107-138
  

Volume 115, Number 2, December 1999

• Hidde de Jong, Frank van Raalte:
  Comparative envisionment construction: A technique for the comparative analysis of dynamical systems. 145-214
  
• R. Michael Young:
  Using Grice's maxim of Quantity to select the content of plan descriptions. 215-256
  
• Rainer Weigel, Boi Faltings:
  Compiling constraint satisfaction problems. 257-287