1078 search results - page 144 / 216 » The Modal Logic of Probability |
141
Voted
EUSFLAT
2007
15 years 5 months ago
2007
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...
128
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
150
click to vote
AGP
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
143
click to vote
JLP
2006
15 years 3 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
151
Voted
CHES
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we propose new models for directly evaluating DPA leakage from logic information in CMOS circuits. These models are based on the transition probability for each gate...