1996 search results - page 6 / 400 » A decision procedure for linear |
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...
SP
2006
IEEE
15 years 4 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
133
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
IJCAI
2001
14 years 11 months ago
2001
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
106
click to vote
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...