KR
13 years 9 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
13 years 9 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
13 years 9 months ago
1994 Springer KR
13 years 9 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....
KR
13 years 9 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