Sciweavers

KI
1994
Springer
13 years 9 months ago
Combining Spatial and Terminological Reasoning
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
AIPS
1994
13 years 6 months ago
Design Tradeoffs in Partial Order (Plan space) Planning
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
Subbarao Kambhampati
MI
1994
13 years 6 months ago
A Generalization of the Least General Generalization
Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki,...
UAI
1994
13 years 6 months ago
Global Conditioning for Probabilistic Inference in Belief Networks
In this paper we propose a new approach to probabilistic inference on belief networks, global conditioning, which is a simple generalization of Pearl's (1986b) method of loop...
Ross D. Shachter, Stig K. Andersen, Peter Szolovit...
Artificial Intelligence
Top of PageReset Settings