Artificial Intelligence
, Volume 166
Volume 166, Number 1-2, August 2005
Ian Pratt-Hartmann
:
Temporal prepositions and their logic.
1-36
Electronic Edition
(link)
BibTeX
Alfonso Gerevini
:
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.
37-80
Electronic Edition
(link)
BibTeX
Ernest Davis
:
Knowledge and communication: A first-order theory.
81-139
Electronic Edition
(link)
BibTeX
Candace L. Sidner
,
Christopher Lee
,
Cory D. Kidd
,
Neal Lesh
,
Charles Rich
:
Explorations in engagement for humans and robots.
140-164
Electronic Edition
(link)
BibTeX
Kalev Kask
,
Rina Dechter
,
Javier Larrosa
,
Avi Dechter
:
Unifying tree decompositions for reasoning in graphical models.
165-193
Electronic Edition
(link)
BibTeX
Ji-Ae Shin
,
Ernest Davis
:
Processes and continuous change in a SAT-based planner.
194-253
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:49:50 2009 by
Michael Ley
(
ley@uni-trier.de
)