Sciweavers

718 search results - page 34 / 144
» From decision theory to decision aiding methodology
Sort
View
FMCAD
2006
Springer
15 years 1 months ago
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
Hyondeuk Kim, Fabio Somenzi
ISIPTA
2005
IEEE
168views Mathematics» more  ISIPTA 2005»
15 years 3 months ago
Bayesianism Without Priors, Acts Without Consequences
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...
Robert Nau
CI
2004
116views more  CI 2004»
14 years 9 months ago
Solution Generation with Qualitative Models of Preferences
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
Boi Faltings, Marc Torrens, Pearl Pu
HICSS
2002
IEEE
121views Biometrics» more  HICSS 2002»
15 years 2 months ago
Integrating GSS and AHP: Experiences from Benchmarking of Buyer-Supplier Relationships
The increasing overall global competition forces requirements for companies to improve their business performance continuously in every sector. The utilization of external resourc...
Satu Peltola, Marko Torkkeli, Jarno Tuimala
KR
2004
Springer
15 years 3 months ago
Evidence and Belief
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
Itzhak Gilboa, David Schmeidler