Artificial Intelligence, Volume 124

Volume 124, Number 1, November 2000

• Pablo Jiménez, Carme Torras:
  An efficient algorithm for searching implicit AND/OR graphs with cycles. 1-30
  
• Thomas Linke, Torsten Schaub:
  Alternative foundations for Reiter's default logic. 31-86
  
• Francesco M. Donini, Fabio Massacci:
  EXPTIME tableaux for ALC. 87-138
  
• Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd:
  Sketch-based pruning of a solution space within a formal geometric constraint solver. 139-159
  
• José Hernández-Orallo:
  Truth from Trash. How Learning Makes Sense by Chris Thornton. 161-165
  

Volume 124, Number 2, December 2000

• Thomas Eiter, Thomas Lukasiewicz:
  Default reasoning from conditional knowledge bases: Complexity and tractable cases. 169-241
  
• Georg Gottlob, Nicola Leone, Francesco Scarcello:
  A comparison of structural CSP decomposition methods. 243-282
  
• Ashraf M. Abdelbar, Stephen T. Hedetniemi, Sandra Mitchell Hedetniemi:
  The complexity of approximating MAPs for belief networks with bounded probabilities. 283-288