Sciweavers

356 search results - page 10 / 72
» Axiomatizing Causal Reasoning
Sort
View
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
14 years 10 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw
ECAI
2004
Springer
15 years 5 months ago
Axiomatizing Noisy-OR
The Noisy-OR function is extensively used in probabilistic reasoning, and usually justified with heuristic arguments. This paper investigates sets of conditions that imply the No...
Fabio Gagliardi Cozman
ECSQARU
1999
Springer
15 years 4 months ago
A Critique of Inductive Causation
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...
Christian Borgelt, Rudolf Kruse
FLOPS
2004
Springer
15 years 5 months ago
Complete Axiomatization of an Algebraic Construction of Graphs
This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.
Mizuhito Ogawa
NDJFL
2002
83views more  NDJFL 2002»
14 years 11 months ago
Shortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
Zachary Ernst, Branden Fitelson, Kenneth Harris, L...