390 search results - page 24 / 78 » Probability Logic and Logical Probability |
127
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
119
Voted
ISQED
2010
IEEE
15 years 8 months ago
2010
IEEE
We analyze the neutron induced soft error rate (SER) by modeling induced error pulse using two parameters, occurrence frequency and probability density function for the pulse widt...
134
Voted
DLOG
2003
15 years 4 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
145
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
136
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 ...