3970 search results - page 20 / 794 » A Logic For Causal Reasoning |
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. A new method is proposed for compiling causal independencies into Markov logic networks (MLNs). An MLN can be viewed as compactly representing a factorization of a joint ...
KSEM
2010
Springer
13 years 5 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
ECAI
1998
Springer
13 years 11 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...