Sciweavers

4617 search results - page 568 / 924
» Automation of Diagrammatic Reasoning
Sort
View
KR
2010
Springer
16 years 11 days 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
16 years 3 days 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
16 years 2 days 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
16 years 1 days 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
ICLP
2001
Springer
16 years 1 days ago
Higher-Precision Groundness Analysis
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
Michael Codish, Samir Genaim, Harald Sønder...