Configurations for Inference Between Causal Statements, Knowledge Science, Engineering and management LNAI 4092, pp.292-304, 2006. ,
DOI : 10.1007/11811220_25
URL : https://hal.archives-ouvertes.fr/inria-00463796
Ontology-Based Inference for Causal Explanation, LNAI 4798, pp.153-164, 2007. ,
DOI : 10.1007/978-3-540-76719-0_18
URL : https://hal.archives-ouvertes.fr/inria-00463001
Causation as Production, 17th biennial European Conference on Artificial Intelligence, pp.327-331, 2006. ,
A Logic for Causal Reasoning, IJCAI-03, pp.141-146, 2003. ,
Abductive reasoning with abstraction axioms, Lecture Notes in Computer Science, vol.810, pp.98-112, 1994. ,
DOI : 10.1007/3-540-58107-3_6
Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.49-104, 2004. ,
DOI : 10.1016/j.artint.2002.12.001
Causes and Explanations: A Structural- Model Approach. Part I: Causes, UAI-01, pp.194-202, 2001. ,
Causes and Explanations: A Structural- Model Approach. Part II: Explanations, IJCAI-01, pp.27-34, 2001. ,
A formal theory of plan recognition and its implementation, Reasoning About Plans, pp.69-125, 1991. ,
The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic, vol.7, issue.3, pp.499-562, 2006. ,
DOI : 10.1145/1149114.1149117
An Experience of Using ASP for Toy Examples, Advances in Theory and Implementation, pp.133-147, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00463003