Editorial Board
Temporal prepositions and their logic
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class
Knowledge and communication: A first-order theory
Explorations in engagement for humans and robots
Unifying tree decompositions for reasoning in graphical models
Processes and continuous change in a SAT-based planner
Forthcoming Papers
Author Index—Volume 166 (2005)