Sciweavers

1224 search results - page 11 / 245
» Theory decision by decomposition
Sort
View
ALDT
2009
Springer
153views Algorithms» more  ALDT 2009»
15 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
15 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
86
Voted
AMAI
2007
Springer
14 years 9 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...
99
Voted
SEFM
2006
IEEE
15 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
15 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