1224 search results - page 13 / 245 » Theory decision by decomposition |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
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,...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
MKM
2009
Springer
14 years 4 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
CL
2000
Springer
14 years 2 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...