Artificial Intelligence, Volume 71

Volume 71, Number 1, 1994

Lynn Andrea Stein, Leora Morgenstern: Motivated Action Theory: a Formal Theory of Causal Reasoning. 1-42
Fahiem Bacchus, Qiang Yang: Downward Refinement and the Efficiency of Hierarchical Problem Solving. 43-100
Christoph Walther: On Proving the Termination of Algorithms by Machine. 101-157
Roberto J. Bayardo Jr., Daniel P. Miranker: An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction problems. 159-181
Geneviève Simonet, Roland Ducournau: On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. 183-193
Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar: Agent Searching in a Tree and the Optimality of Iterative Deepening. 195-208

Gerhard Lakemeyer: Limited Reasoning in First-Order Knowledge Bases. 213-255
Yuval Roth, Ramesh Jain: Knowledge Caching for Sensor-Based Systems. 257-280
Liwu Li: Possible World Semantics and Autoepistemic Reasoning. 281-320
Marco Dorigo, Marco Colombetti: Robot Shaping: Developing Autonomous Agents Through Learning. 321-370
Randall H. Wilson, Jean-Claude Latombe: Geometric Reasoning About Mechanical Assembly. 371-396

Research Note