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 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

last updated on Fri May 24 05:40:30 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page