356 search results - page 5 / 72 » Axiomatizing Causal Reasoning |
84
Voted
UAI
2001
14 years 11 months ago
2001
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...
AAAI
2000
14 years 11 months ago
2000
75
Voted
FAC
1998
14 years 9 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
66
Voted
IANDC
2006
14 years 9 months ago
2006
A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical rea...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...