default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 55
Volume 55, Number 1, 1992
- Daniel 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
