Artificial Intelligence, Volume 132

Volume 132, Number 1, October 2001

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

Volume 132, Number 2, November 2001

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