List of contents of
Artificial Intelligence
Volume 71 (1994)
- j-aij-71-1
- Lynn Andrea Stein and Leora Morgenstern:
Motivated action theory: a formal theory of causal reasoning.
Pages 1-42.
- j-aij-71-43
- Fahiem Bacchus and Qiang Yang:
Downward refinement and the efficiency of hierarchical problem solving.
Pages 43-100.
- j-aij-71-101
- Christoph Walther:
On proving the termination of algorithms by machine.
Pages 101-157.
- j-aij-71-159
- Roberto J. Bayardo Jr and Daniel P. Miranker:
An optimal backtrack algorithm for tree-structured constraint satisfaction problems.
Pages 159-181.
- j-aij-71-183
- Genevieve Simonet and Roland Ducournau:
On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies.
Pages 183-193.
- j-aij-71-195
- Pallab Dasgupta, P.P. Chakrabarti, and S.C. DeSarkar:
Agent searching in a tree and the optimality of iterative deepening.
Pages 195-208.
- j-aij-71-213
- Gerhard Lakemeyer:
Limited reasoning in first-order knowledge bases.
Pages 213-255.
- j-aij-71-257
- Yuval Roth and Ramesh Jain:
Knowledge caching for sensor-based systems.
Pages 257-280.
- j-aij-71-281
- Liwu Li:
Possible world semantics and autoepistemic reasoning.
Pages 281-320.
- j-aij-71-321
- Marco Dorigo and Marco Colombetti:
Robot shaping: developing autonomous agents through learning.
Pages 321-370.
- j-aij-71-371
- Randall H. Wilson and Jean-Claude Latombe:
Geometric reasoning about mechanical assembly.
Pages 371-396.
- j-aij-71-397
- Alexander Reinefeld and Peter Ridinger:
Time-efficient state space search.
Pages 397-408.
29-Jul-97 16:44