1223 search results - page 8 / 245 » A Logic for Reasoning about Evidence |
UC
2009
Springer
14 years 5 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
ECOOP
2008
Springer
13 years 12 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
CL
2000
Springer
14 years 3 months ago
2000
Springer
TIME
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
ATAL
1999
Springer
14 years 3 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...