3970 search results - page 7 / 794 » A Logic For Causal Reasoning |
200
Voted
CADE
1994
Springer
15 years 7 months ago
1994
Springer
117
Voted
FLAIRS
2004
15 years 5 months ago
2004
In possibility theory, there are two kinds of possibilistic causal networks depending if possibilistic conditioning is based on the minimum or on the product operator. Similarly t...
166
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
125
Voted
AIED
2005
Springer
15 years 9 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...
114
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...