Artificial Intelligence, Volume 158

Volume 158, Number 1, September 2004

• Weixiong Zhang:
  Configuration landscape analysis and backbone guided local search: Part I: Satisfiability and maximum satisfiability. 1-26
  
• Michael Wooldridge, Paul E. Dunne:
  On the computational complexity of qualitative coalitional games. 27-73
  
• Piero A. Bonatti, Adriano Peron:
  On the undecidability of logics with converse, nominals, recursion and counting. 75-96
  
• Pei Wang:
  The limitation of Bayesianism. 97-106
  

Volume 158, Number 2, October 2004

• Luigi Portinale, Diego Magro, Pietro Torasso:
  Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis. 109-153
  
• Ken Kaneiwa:
  Order-sorted logic programming with predicate hierarchy. 155-188
  
• Dorian Suc, Daniel Vladusic, Ivan Bratko:
  Qualitatively faithful quantitative prediction. 189-214