1223 search results - page 8 / 245 » A Logic for Reasoning about Evidence |
137
click to vote
UC
2009
Springer
15 years 7 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...
136
Voted
ECOOP
2008
Springer
15 years 1 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...
72
Voted
CL
2000
Springer
15 years 5 months ago
2000
Springer
TIME
2002
IEEE
15 years 5 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...
126
Voted
ATAL
1999
Springer
15 years 5 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...