Sciweavers

3970 search results - page 34 / 794
» A Logic For Causal Reasoning
Sort
View
123
Voted
CADE
2006
Springer
16 years 4 months ago
The MathServe System for Semantic Web Reasoning Services
Jürgen Zimmer, Serge Autexier
NMR
2004
Springer
15 years 9 months ago
The structural model interpretation of the NESS test
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
Richard A. Baldwin, Eric Neufeld
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 10 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
DLOG
2004
15 years 5 months ago
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
107
Voted
IJCAI
2003
15 years 5 months ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
Jérôme Lang, Fangzhen Lin, Pierre Mar...