Artificial Intelligence, Volume 145

Volume 145, Number 1-2, April 2003

• Ioannis Refanidis, Ioannis P. Vlahavas:
  Multiobjective heuristic state-space planning. 1-32
  
• Tuomas Sandholm, Subhash Suri:
  BOB: Improved winner determination in combinatorial auctions and generalizations. 33-58
  
• Jun He, Xin Yao:
  Towards an analytic framework for analysing the computation time of evolutionary algorithms. 59-97
  
• Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
  Backjumping for Quantified Boolean Logic satisfiability. 99-120
  
• Sanjiang Li, Mingsheng Ying:
  Region Connection Calculus: Its models and composition table. 121-146
  
• Thomas P. Schetter, Mark E. Campbell, Derek M. Surka:
  Multiple agent-based autonomy for satellite constellations. 147-180
  
• Michael Anderson, Robert McCartney:
  Diagram processing: Computing with diagrams. 181-226
  
• Cor J. Veenman, Marcel J. T. Reinders, Eric Backer:
  Establishing motion correspondence using extended temporal scope. 227-243
  
• Ulrich Furbach:
  AI--A multiple book review. 245-252