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
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
Copyright ©
Sat May 16 23:49:44 2009 by
Michael Ley
(
ley@uni-trier.de
)