Artificial Intelligence, Volume 55

Volume 55, Number 1, 1992

• Daniel J. Lehmann, Menachem Magidor: What does a Conditional Knowledge Base Entail? 1-60
• Olivier Dordan: Mathematical Problems Arising in Qualitative Simulation of a Differential Equation. 61-86
• Rina Dechter: From Local to Global Consistency. 87-108
• Xumin Nie, David A. Plaisted: A Semantic Backward Chaining Proof System. 109-128

• Othar Hansson, Andrew Mayer, Marco Valtorta: A New Result on the Complexity of Heuristic Estimates for the A* Algorithm. 129-143

Volume 55, Number 2, 1992

• Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. 149-191
• Subbarao Kambhampati, James A. Hendler: A Validation-Structure-Based Theory of Plan Modification and Reuse. 193-258
• Lynn Andrea Stein: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. 259-310
• Sridhar Mahadevan, Jonathan Connell: Automatic Programming of Behavior-Based Robots Using Reinforcement Learning. 311-365
• Matthew L. Ginsberg, William D. Harvey: Iterative Broadening. 367-383