Sciweavers

875 search results - page 111 / 175
» On Reachability Under Uncertainty
Sort
View
KR
1994
Springer
15 years 4 months ago
Toward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
Craig Boutilier
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 3 months ago
Mean square stabilization of multi-input systems over stochastic multiplicative channels
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...
Nan Xiao, Lihua Xie, Li Qiu
ATAL
2006
Springer
15 years 3 months ago
Information-theoretic approaches to branching in search
Deciding what to branch on at each node is a key element of search algorithms. We present four families of methods for selecting what question to branch on. They are all informati...
Andrew Gilpin, Tuomas Sandholm
CP
2006
Springer
15 years 3 months ago
: A Bottom-Up Approach for Solving Quantified CSPs
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
Guillaume Verger, Christian Bessière
ECAI
2006
Springer
15 years 3 months ago
Compiling Possibilistic Knowledge Bases
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
Salem Benferhat, Henri Prade