Artificial Intelligence, Volume 164

Volume 164, Number 1-2, May 2005

• B. John Oommen, Luís G. Rueda:
  A formal analysis of why heuristic functions work. 1-22
  
• Paul E. Dunne, Michael Wooldridge, Michael Laurence:
  The complexity of contract negotiation. 23-46
  
• Zhao Xing, Weixiong Zhang:
  MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability. 47-80
  
• Wiebe van der Hoek, Michael Wooldridge:
  On the logic of cooperation and propositional control. 81-119
  
• Yannick Pencolé, Marie-Odile Cordier:
  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. 121-170
  
• Marcelo Oglietti:
  Understanding planning with incomplete information and sensing. 171-208
  
• Chitta Baral, Yan Zhang:
  Knowledge updates: Semantics and complexity issues. 209-243
  
• Hélène Fargier, Régis Sabbadin:
  Qualitative decision under uncertainty: back to expected utility. 245-280