Sciweavers

3970 search results - page 24 / 794
» A Logic For Causal Reasoning
Sort
View
KSEM
2007
Springer
14 years 1 months ago
Ontology-Based Inference for Causal Explanation
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language...
Philippe Besnard, Marie-Odile Cordier, Yves Moinar...
SIGMOD
2011
ACM
152views Database» more  SIGMOD 2011»
12 years 10 months ago
Tracing data errors with view-conditioned causality
A surprising query result is often an indication of errors in the query or the underlying data. Recent work suggests using causal reasoning to find explanations for the surprisin...
Alexandra Meliou, Wolfgang Gatterbauer, Suman Nath...
FOAL
2007
ACM
13 years 11 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
CADE
1997
Springer
13 years 11 months ago
A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...