Sciweavers

1224 search results - page 11 / 245
» Theory decision by decomposition
Sort
View
ALDT
2009
Springer
153views Algorithms» more  ALDT 2009»
14 years 4 months ago
Game Theory without Decision-Theoretic Paradoxes
Most work in game theory is conducted under the assumption that the players are expected utility maximizers. Expected utility is a very tractable decision model, but is prone to w...
Pierfrancesco La Mura
RSKT
2009
Springer
14 years 4 months ago
Three-Way Decision: An Interpretation of Rules in Rough Set Theory
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
Yiyu Yao
AMAI
2007
Springer
13 years 10 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
SEFM
2006
IEEE
14 years 3 months ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba
KR
1994
Springer
14 years 1 months ago
Toward a Logic for Qualitative Decision Theory
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....
Craig Boutilier