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