Sciweavers

4573 search results - page 526 / 915
» Automated Reasoning
Sort
View
329
Voted
KR
2010
Springer
15 years 9 months ago
Preferential Semantics for Plausible Subsumption in Possibility Theory
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
Guilin Qi, Zhizheng Zhang
170
Voted
KR
2010
Springer
15 years 9 months ago
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
Joseph Y. Halpern
CSL
2001
Springer
15 years 9 months ago
Capture Complexity by Partition
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...
Yijia Chen, Enshao Shen
ECSQARU
2001
Springer
15 years 9 months ago
New Semantics for Quantitative Possibility Theory
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
Didier Dubois, Henri Prade, Philippe Smets
ICCBR
2001
Springer
15 years 9 months ago
A Similarity-Based Approach to Attribute Selection in User-Adaptive Sales Dialogs
For dynamic sales dialogs in electronic commerce scenarios, approaches based on an information gain measure used for attribute selection have been suggested. These measures conside...
Andreas Kohlmaier, Sascha Schmitt, Ralph Bergmann