1422 search results - page 168 / 285 » Complementation in Abstract Interpretation |
117
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
130
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
130
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
131
click to vote
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
136
Voted
SAS
2005
Springer
15 years 9 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...