149
click to vote
KR
15 years 4 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...
129
click to vote
KR
15 years 4 months ago
1994 Springer 
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
101
click to vote
KR
15 years 4 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
15 years 4 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...
94
Voted
KR
15 years 4 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...
|
Automated Reasoning