APAL
2005
13 years 11 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
OSDI
1994
ACM
14 years 26 days ago
1994
ACM
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...
EUSFLAT
2003
14 years 28 days ago
2003
Conventional approach to mathematical description of experiments applies probability theory. Here, another approach is used to express uncertainty based on probability, fuzzy sets...