Artificial Intelligence, Volume 55

Volume 55, Number 1, 1992

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

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

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 BibTeX
• Subbarao Kambhampati, James A. Hendler: A Validation-Structure-Based Theory of Plan Modification and Reuse. 193-258 BibTeX
• Lynn Andrea Stein: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. 259-310 BibTeX
• Sridhar Mahadevan, Jonathan Connell: Automatic Programming of Behavior-Based Robots Using Reinforcement Learning. 311-365 BibTeX
• Matthew L. Ginsberg, William D. Harvey: Iterative Broadening. 367-383 BibTeX