19979 search results - page 248 / 3996 » Decision support systems |
182
click to vote
AMAI
2004
Springer
16 years 19 days ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
176
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
193
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
169
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
219
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Bayesian networks are formal graphical languages for representation and communication of decision scenarios requiring reasoning under uncertainty. We will analyze Bayesian network...