Artificial Intelligence, Volume 132

Volume 132, Number 1, October 2001

• Basilis Boutsinas, Michael N. Vrahatis:
  Artificial nonmonotonic neural networks. 1-38
  
• Bruno Bouzy, Tristan Cazenave:
  Computer Go: An AI oriented survey. 39-103
  
• Bernd S. W. Schröder:
  Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard. 105-117
  

Volume 132, Number 2, November 2001

• Dale Schuurmans, Finnegan Southey:
  Local search characteristics of incomplete SAT procedures. 121-150
  
• Minh Binh Do, Subbarao Kambhampati:
  Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP. 151-182
  
• Kate Larson, Tuomas Sandholm:
  Bargaining with limited computation: Deliberation equilibrium. 183-217
  
• Günther Gediga, Ivo Düntsch:
  Rough approximation quality revisited. 219-234