1456 search results - page 93 / 292 » Preference Modelling |
ACTAC
2005
15 years 2 months ago
2005
: In this paper the lexicographic decision process is presented in a unified way. We construct a lexicographic decision function using a universal preference function and a unary f...
AI
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
MANSCI
2010
15 years 27 days ago
2010
This paper introduces a choice-based method that for the first time makes it possible to quantitatively measure regret theory, one of the most popular models of decision under unc...
116
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
116
click to vote
SAS
2009
Springer
16 years 3 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...