Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Artificial Intelligence
On the logic of causal explanation
Artificial Intelligence
A logic of universal causation
Artificial Intelligence
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Predicting causality ascriptions from background knowledge: model and experimental validation
International Journal of Approximate Reasoning
Ontology-based inference for causal explanation
Integrated Computer-Aided Engineering
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
Deriving explanations from causal information
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Propositional argumentation and causal reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Ontology-based inference for causal explanation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Hi-index | 0.00 |
We introduce a logical formalism of irreflexive casual production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism is shown to provide a complete characterization for the casual reasoning behind casual theories from [McCain and Turner, 1997]. It is shown also that any causal relation is reducible to its Horn sub-relation with respect to the nonmonotonic semantics. We describe also a general correspondence between casual relations and abductive systems, which shows, in effect, that casual relations allow to express abductive reasoning. The results of the study seem to suggest causal production relations as a viable general framework for nonmonotonic reasoning.