3515 search results - page 158 / 703 » On the semantics of Strategy Logic |
219
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
202
click to vote
NMR
2004
Springer
16 years 18 days ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
190
click to vote
ECSQARU
2003
Springer
16 years 13 days ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
185
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
224
click to vote
MSCS
2006
15 years 7 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...