P. Besnard, M. Cordier, and Y. Moinard, 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

[. Besnard, M. Cordier, and Y. Moinard, 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

]. J. Bel06 and . Bell, Causation as Production, 17th biennial European Conference on Artificial Intelligence, pp.327-331, 2006.

A. Bochman, A Logic for Causal Reasoning, IJCAI-03, pp.141-146, 2003.

D. [. Console and . Dupré, Abductive reasoning with abstraction axioms, Lecture Notes in Computer Science, vol.810, pp.98-112, 1994.
DOI : 10.1007/3-540-58107-3_6

E. Giunchiglia, J. Lee, V. Lifschitz, N. Mc-cain, and H. Turner, Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.49-104, 2004.
DOI : 10.1016/j.artint.2002.12.001

]. J. Hp01a, J. Halpern, and . Pearl, Causes and Explanations: A Structural- Model Approach. Part I: Causes, UAI-01, pp.194-202, 2001.

]. J. Hp01b, J. Halpern, and . Pearl, Causes and Explanations: A Structural- Model Approach. Part II: Explanations, IJCAI-01, pp.27-34, 2001.

]. H. Kau91 and . Kautz, A formal theory of plan recognition and its implementation, Reasoning About Plans, pp.69-125, 1991.

N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob et al., 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

Y. Moinard, 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