519 search results - page 6 / 104 » Qualitative choice logic |
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
SYNTHESE
2008
13 years 7 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
CAEPIA
2003
Springer
14 years 1 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
KR
1994
Springer
13 years 12 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....
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...