4595 search results - page 329 / 919 » Reasoning about Plans |
178
Voted
ENTCS
2008
15 years 7 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
208
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
155
Voted
SYNTHESE
2008
15 years 7 months ago
2008
Hitchcock advances a diachronic Dutch Book argument (DDB) for a 1/3 answer to the Sleeping Beauty problem. Bradley and Leitgeb argue that Hitchcock's DDB argument fails. We de...
238
click to vote
JANCL
2007
15 years 7 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
222
click to vote
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...