27 search results - page 2 / 6 » An Experimental Evaluation of Ground Decision Procedures |
WSC
2007
13 years 7 months ago
2007
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
VLSID
2005
IEEE
13 years 10 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
AVI
2008
13 years 7 months ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Technological systems involving hazards are typically managed by experienced personnel guided by wellformulated, pre-determined procedures. These procedures are designed to ensure...
AAAI
2006
13 years 6 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...