default search action
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.