3776 search results - page 138 / 756 » Partition-Based Logical Reasoning |
137
click to vote
IGPL
2008
15 years 6 months ago
2008
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusi...
206
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
180
click to vote
DLOG
2004
15 years 8 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
164
click to vote
KSEM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
155
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....