447 search results - page 50 / 90 » A Probabilistic Calculus of Actions |
84
Voted
ICALP
2005
Springer
15 years 4 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 ...
AAAI
2006
15 years 12 days ago
2006
Few temporal planners handle both concurrency and uncertain durations, but these features commonly co-occur in realworld domains. In this paper, we discuss the challenges caused b...
ICIP
2002
IEEE
16 years 17 days ago
2002
IEEE
We present a new segmentation algorithm based on probabilistic histograms and introduce certainty calculus and certainty color maps to solve the difficult problem of histogram sep...
117
click to vote
NMR
2004
Springer
15 years 4 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
AH
2006
Springer
15 years 5 months ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...