KR
1994
Springer
14 years 3 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
KR
1994
Springer
14 years 3 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
KR
1994
Springer
14 years 3 months ago
1994
Springer
KR
1994
Springer
14 years 3 months ago
1994
Springer
Probabilistic AI planning methods that minimize expected execution cost have a neutral attitude towards risk. We demonstrate how one can transform planning problems for risk-sensi...
KR
1994
Springer
14 years 3 months ago
1994
Springer
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...
KR
1994
Springer
14 years 3 months ago
1994
Springer
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...
KR
1994
Springer
14 years 3 months ago
1994
Springer
KR
1994
Springer
14 years 3 months ago
1994
Springer
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...
KR
1994
Springer
14 years 3 months ago
1994
Springer
KR
1994
Springer
14 years 3 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...