G. Antoniou, Defeasible reasoning: A discussion of some intuitions, International Journal of Intelligent Systems, vol.21, issue.6, pp.545-558, 2006.

G. Antoniou, D. Billington, G. Governatori, and M. J. Maher, Representation results for defeasible logic, ACM Transactions on Computational Logic (TOCL), vol.2, issue.2, pp.255-287, 2001.

G. Antoniou, D. Billington, and M. J. Maher, On the analysis of regulations using defeasible rules, Systems Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on, pp.7-23, 1999.

K. R. Apt and M. H. Van-emden, Contributions to the theory of logic programming, Journal of the ACM (JACM), vol.29, issue.3, pp.841-862, 1982.

J. Baget, F. Garreau, M. Mugnier, and S. Rocher, Extending Acyclicity Notions for Existential Rules, ECAI, pp.39-44, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01092757

J. Baget, M. Lecì-ere, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9, pp.1620-1654, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

N. Bassiliades, G. Antoniou, and I. Vlahavas, A defeasible logic reasoner for the semantic web, International Journal on Semantic Web and Information Systems (IJSWIS), vol.2, issue.1, pp.1-41, 2006.

A. Bikakis and G. Antoniou, DR-Prolog: a system for reasoning with rules and ontologies on the semantic web, AAAI, vol.5, pp.1594-1595, 2005.

D. Billington, Defeasible Logic is Stable, Journal of logic and computation, vol.3, issue.4, pp.379-400, 1993.

D. Bryant and P. Krause, A review of current defeasible reasoning implementations, The Knowledge Engineering Review, vol.23, issue.03, pp.227-260, 2008.

A. Cali, G. Gottlob, and A. Pieris, Advanced processing for ontological queries, Proceedings of the VLDB Endowment, vol.3, pp.554-565, 2010.

P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial intelligence, vol.77, issue.2, pp.321-357, 1995.

A. J. García and G. R. Simari, Defeasible logic programming: An argumentative approach, pp.95-138, 2004.

D. R. Garcia, A. J. Garcia, and G. R. Simari, Planning and defeasible reasoning, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, pp.856-858, 2007.

G. Governatori, M. J. Maher, G. Antoniou, and D. Billington, Argumentation Semantics for Defeasible Logic, Journal of Logic and Computation, vol.14, issue.5, pp.675-702, 2004.

A. Hecham, M. Croitoru, and P. Bisquert, Argumentation-Based Defeasible Reasoning For Existential Rules, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp.1568-1569, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01520171

J. F. Horty, D. S. Touretzky, and R. H. Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp.476-482, 1987.

M. Lenzerini, Data integration: A theoretical perspective, Proceedings of the twentyfirst ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp.233-246, 2002.

M. J. Maher, A. Rock, G. Antoniou, D. Billington, and T. Miller, Efficient defeasible reasoning systems, International Journal on Artificial Intelligence Tools, vol.10, issue.04, pp.483-501, 2001.

D. Makinson and K. Schlechta, Floating conclusions and zombie paths: two deep difficulties in the "directly skeptical" approach to defeasible inheritance nets, Artificial intelligence, vol.48, issue.2, pp.199-209, 1991.

L. Morgenstern, Artificial Intelligence Inheritance comes of age : applying nonmonotonic techniques to problems in industry, Artificial Intelligence, vol.103, pp.237-271, 1998.

D. Nute, Defeasible reasoning: a philosophical analysis in prolog, 1988.
DOI : 10.1007/978-94-009-2699-8_9

H. Prakken, Intuitions and the modelling of defeasible reasoning: some case studies, Ninth Int Workshop on Nonmonotonic Reasoning, pp.91-99, 2002.

H. Prakken, An abstract framework for argumentation with structured arguments, Argument and Computation, vol.1, issue.2, pp.93-124, 2010.
DOI : 10.1080/19462160903564592

URL : https://content.iospress.com:443/download/argument-and-computation/456935?id=argument-and-computation%2F456935

L. A. Stein, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artificial Intelligence, vol.55, issue.2-3, pp.259-310, 1992.
DOI : 10.1016/0004-3702(92)90057-5

URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA259784&Location=U2&doc=GetTRDoc.pdf

M. Thimm, Tweety-A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 2014.

H. Wan, M. Kifer, and B. N. Grosof, Defeasibility in answer set programs with defaults and argumentation rules, Semantic Web, vol.6, issue.1, pp.81-98, 2015.
DOI : 10.1007/978-3-642-15918-3_12

URL : http://www.mit.edu/people/bgrosof/paps/aspda-rr2010.pdf

G. Yang, M. Kifer, C. Zhao-;-coopis, D. , and O. , Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web, pp.671-688, 2003.
DOI : 10.1007/978-3-540-39964-3_43