2599 search results - page 112 / 520 » An Operational Semantics for Knowledge Bases |
126
click to vote
USENIX
1993
15 years 6 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
120
click to vote
ISMB
1993
15 years 6 months ago
1993
There is no automatic mechanism to integrate information between heterogeneous genome maps. Currently, integration is a di cult, manual process. We have developed a process for kn...
142
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
140
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
135
Voted
TARK
2005
Springer
15 years 10 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...