2585 search results - page 6 / 517 » Automating Coherent Logic |
CADE
2001
Springer
14 years 7 months ago
2001
Springer
IGPL
2006
13 years 7 months ago
2006
Very recently, a (fuzzy modal) logic to reason about coherent conditional probability, in the sense of de Finetti, has been introduced by the authors. Under this approach, a condi...
ISCA
1998
IEEE
13 years 11 months ago
1998
IEEE
Most large shared-memory multiprocessors use directory protocols to keep per-processor caches coherent. Some memory references in such systems, however, suffer long latencies for ...
CADE
2009
Springer
13 years 8 months ago
2009
Springer
ICTL
1994
13 years 11 months ago
1994
This paper presents a temporal belief logic called