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

Research Note

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

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