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

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

Research Note

Alexander Reinefeld, Peter Ridinger: Time-Efficient State Space Search. 397-408 BibTeX