447 search results - page 11 / 90 » A Probabilistic Calculus of Actions |
ENTCS
2010
14 years 7 months ago
2010
79
Voted
EMNLP
2011
13 years 10 months ago
2011
77
Voted
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
104
click to vote
CSL
2006
Springer
15 years 2 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
ENTCS
2006
14 years 10 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...