Sciweavers

646 search results - page 38 / 130
» Hybrid decision diagrams
Sort
View
AAAI
2006
13 years 11 months ago
Controlled Search over Compact State Representations, in Nondeterministic Planning Domains and Beyond
Two of the most efficient planners for planning in nondeterministic domains are MBP and ND-SHOP2. MBP achieves its efficiency by using Binary Decision Diagrams (BDDs) to represent...
Ugur Kuter, Dana S. Nau
TABLEAUX
1999
Springer
14 years 2 months ago
Tableau Calculi for Hybrid Logics
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
Miroslava Tzakova
FLAIRS
1998
13 years 11 months ago
Decision Support Information Gathering System
1 The Decision Support Information Gathering System, Digs, uses influence diagrams to model user's decisions and to calculate the value of imperfect information for each avail...
Chiu-Che Tseng, Piotr J. Gmytrasiewicz
IJAR
2006
98views more  IJAR 2006»
13 years 10 months ago
A forward-backward Monte Carlo method for solving influence diagrams
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
Andrés Cano, Manuel Gómez, Seraf&iac...
FLAIRS
2001
13 years 11 months ago
Practical Modeling of Bayesian Decision Problems -- Exploiting Deterministic Relations
Thewidespreaduse of influence diagramsto represent andsolve Bayesiandecision problemsis still limited by the inflexibility andrather restrictive semanticsof influence diagrams. In...
Anders L. Madsen, Kristian G. Olesen, Søren...