Knowledge representation, reasoning and declarative problem solving, 2003. ,
DOI : 10.1017/CBO9780511543357
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
Ontology-Based Inference for Causal Explanation, pp.351-367, 2008. ,
DOI : 10.1007/978-3-540-76719-0_18
URL : https://hal.archives-ouvertes.fr/inria-00463001
Template programs for Disjunctive Logic Programming: An operational semantics, AI Communications, vol.19, issue.3, pp.193-206, 2006. ,
The Conflict-Driven Answer Set Solver clasp: Progress Report, LPNMR'09 In LNAI 5753, pp.509-514, 2009. ,
DOI : 10.1007/978-3-642-04238-6_50
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 II: Explanations, IJCAI-01, pp.27-34, 2001. ,
DOI : 10.1093/bjps/axi148
URL : http://arxiv.org/abs/cs/0011012
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
The Facts of Causation, Routledge, 1995. ,
DOI : 10.4324/9780203302682
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling, Answer Set Programming, Advances in Theory and Implementation, CEUR-WS.org publ., CEUR Workshop Proc, 2005. ,