Editorial Board
Motivated action theory: a formal theory of causal reasoning
Downward refinement and the efficiency of hierarchical problem solving
On proving the termination of algorithms by machine
An optimal backtrack algorithm for tree-structured constraint satisfaction problems
On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies
Agent searching in a tree and the optimality of iterative deepening
Forthcoming papers