83 search results - page 1 / 17 » The Sources of Certainty in Computation and Formal Systems |
CORR
1999
Springer
13 years 10 months ago
1999
Springer
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
ASP
2005
Springer
14 years 4 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
MOBICOM
2005
ACM
14 years 4 months ago
2005
ACM
This paper presents the first quantitative evaluation of the role of routing computations on performance when mobility is introduced to a content-based routing network. Additiona...