2236 search results - page 51 / 448 » Language Independence and Language Tolerance in Logic Progra... |
150
click to vote
AAAI
2008
15 years 8 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
156
click to vote
IGPL
2010
15 years 25 days ago
2010
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
160
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
155
click to vote
IPL
2006
15 years 6 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
308
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...