![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Artificial 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.