Sciweavers

846 search results - page 21 / 170
» Rewrite-Based Decision Procedures
Sort
View
AAAI
2012
12 years 7 days ago
Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach
This paper is devoted to sequential decision making with Rank Dependent expected Utility (RDU). This decision criterion generalizes Expected Utility and enables to model a wider r...
Gildas Jeantet, Patrice Perny, Olivier Spanjaard
NFM
2011
225views Formal Methods» more  NFM 2011»
13 years 4 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
JCIT
2010
160views more  JCIT 2010»
13 years 4 months ago
TOPSIS Method for Multiple Attribute Decision Making with Incomplete Weight Information in Linguistic Setting
The aim of this paper is to investigate the multiple attribute decision making problems with linguistic information, in which the information about attribute weights is incomplete...
Jianli Wei
JMLR
2010
104views more  JMLR 2010»
13 years 4 months ago
How to Explain Individual Classification Decisions
After building a classifier with modern tools of machine learning we typically have a black box at hand that is able to predict well for unseen data. Thus, we get an answer to the...
David Baehrens, Timon Schroeter, Stefan Harmeling,...
JAPLL
2010
104views more  JAPLL 2010»
13 years 4 months ago
Lightweight hybrid tableaux
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
Guillaume Hoffmann