54 search results - page 1 / 11 » Solving First-Order Constraints in the Theory of the Evaluat... |
CSCLP
2006
Springer
13 years 11 months ago
2006
Springer
CP
2000
Springer
13 years 11 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
LICS
1998
IEEE
13 years 11 months ago
1998
IEEE
ADBIS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
MP
2008
13 years 7 months ago
2008
Stochastic dominance relations are well-studied in statistics, decision theory and economics. Recently, there has been significant interest in introducing dominance relations into...