Sciweavers

14 search results - page 3 / 3
» kr 1994
Sort
View
KR
1994
Springer
13 years 8 months ago
Refinement Search as a Unifying Framework for Analyzing Planning Algorithms
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
KR
1994
Springer
13 years 8 months ago
An Application of Terminological Logics to Case-based Reasoning
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
Jana Koehler
KR
1994
Springer
13 years 8 months ago
An Ontology of Meta-Level Categories
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...
AAAI
1994
13 years 6 months ago
Using Knowledge Acquisition and Representation Tools to Support Scientific Communities
Widespread access to the Internet has led to the formation of geographically dispersed scientific communities collaborating through the network. The tools supporting such collabor...
Brian R. Gaines, Mildred L. G. Shaw