356 search results - page 45 / 72 » Axiomatizing Causal Reasoning |
IJCAI
2003
15 years 1 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
113
click to vote
ECAI
2010
Springer
15 years 28 days ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
AI
2000
Springer
14 years 11 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
AGI
2008
15 years 1 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
DIAGRAMS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...