0004-3702

Artificial Intelligence (AI) - Volume 71, Issue 1 论文列表

本期论文列表
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