3970 search results - page 163 / 794 » A Logic For Causal Reasoning |
158
click to vote
RSCTC
2000
Springer
15 years 7 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...
140
Voted
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
136
click to vote
DLOG
2004
15 years 5 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...
124
Voted
KSEM
2007
Springer
15 years 10 months 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...
126
Voted
APLAS
2008
ACM
15 years 6 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....