Artificial Intelligence, Volume 160

Volume 160, Number 1-2, December 2004

• Sanjiang Li, Mingsheng Ying:
  Generalized Region Connection Calculus. 1-34
  
• Peter Jonsson, Andrei A. Krokhin:
  Complexity classification in qualitative temporal constraint reasoning. 35-51
  
• Thomas D. Nielsen, Finn Verner Jensen:
  Learning a decision maker's utility function from (possibly) inconsistent behavior. 53-78
  
• Ian Horrocks, Ulrike Sattler:
  Decidability of SHIQ with complex role inclusion axioms. 79-104
  
• Alexander Bochman:
  A causal approach to nonmonotonic reasoning. 105-143
  
• Maureen Donnelly:
  A formal theory for reasoning about parthood, connection, and location. 145-172
  
• Matti Nykänen:
  An incremental algorithm for DLO quantifier elimination via constraint propagation. 173-190
  
• Charles B. Cross:
  A correction to "Nonmonotonic inconsistency" [Artificial Intelligence 149 (2003) 161-178]. 191-192