447 search results - page 11 / 90 » A Probabilistic Calculus of Actions |
93
Voted
EPIA
2001
Springer
15 years 4 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...
120
click to vote
CSL
2006
Springer
15 years 4 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...
101
Voted
ENTCS
2006
15 years 13 days 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...