default search action
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
Volume 71, Number 2, 1994
- Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases. 213-255 - Yuval Roth, Ramesh C. 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
- Alexander Reinefeld, Peter Ridinger:
Time-Efficient State Space Search. 397-408
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.