2920 search results - page 38 / 584 » Finite information logic |
ECSQARU
2003
Springer
14 years 3 months 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...
MSCS
2006
13 years 9 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...
CAI
2009
Springer
14 years 4 months ago
2009
Springer
CAI
2007
Springer
14 years 4 months ago
2007
Springer
SPIRE
2004
Springer
14 years 3 months ago
2004
Springer
