3970 search results - page 366 / 794 » A Logic For Causal Reasoning |
183
Voted
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
188
click to vote
MMMACNS
2005
Springer
16 years 10 days ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
215
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
272
click to vote
LMCS
2006
15 years 6 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
208
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Measuring the causal effects of online advertising (adfx) on user behavior is important to the health of the WWW publishing industry. In this paper, using three controlled experi...