Sciweavers

1074 search results - page 6 / 215
» Rule sets based bilevel decision model
Sort
View
EOR
2006
79views more  EOR 2006»
15 years 1 months ago
Equilibrium constrained optimization problems
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
S. Ilker Birbil, Gemayqzel Bouza, J. B. G. Frenk, ...
FORTE
2010
15 years 3 months ago
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuen...
ISCI
2006
77views more  ISCI 2006»
15 years 1 months ago
A general class of simple majority decision rules based on linguistic opinions
In this paper we have introduced a class of decision rules related to simple majority, by considering individual intensities of preference. These intensities will be shown by mean...
José Luis García-Lapresta
AIPS
1996
15 years 3 months ago
Modeling Probabilistic Actions for Practical Decision-Theoretic Planning
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...
AnHai Doan
CAV
2000
Springer
187views Hardware» more  CAV 2000»
15 years 5 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...