Artificial Intelligence, Volume 131

Volume 131, Number 1-2, September 2001

• Michael Thielscher:
  The Qualification Problem: A solution to the problem of anomalous models. 1-37
  
• Geoff Sutcliffe, Christian B. Suttner:
  Evaluating general purpose automated theorem proving systems. 39-54
  
• Yashwant Prasad Singh, Pinaki Roy Chowdhury:
  Dynamic tunneling based regularization in feedforward neural networks. 55-71
  
• Biplav Srivastava, Subbarao Kambhampati, Minh Binh Do:
  Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan. 73-134
  
• James P. Delgrande, Arvind Gupta, Tim Van Allen:
  A comparison of point-based approaches to qualitative temporal reasoning. 135-170
  
• Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino:
  On functional dependencies in q-Horn theories. 171-187
  
• Anthony G. Cohn, Donald Perlis:
  "Field Reviews": A new style of review article for Artificial Intelligence. 189
  
• Ernest Davis:
  Two machine learning textbooks: An instructor's perspective. 191-198
  
• Peter A. Flach:
  On the state of the art in machine learning: A personal review. 199-222
  
• Tom M. Mitchell:
  Author's response to reviews of Machine Learning. 223-225