. [. Support-de-?, Il en résulte : E ? supp (?) , E concl (?) Ainsi, et d'après la dénition 7.4, l'argument supp (?) , ¬supp (?) est un Ccm de l'argument ?

. Démonstration, Application directe de la propriété 7.7 puis de celle intitulée pertinence sans interdits

L. Amgoud and C. Cayrol, On the acceptability of arguments in preference-based argumentation, UAI, pp.17-29, 1998.

E. Stephanie, M. G. August, and . Dyer, Analogy recognition and comprehension in editorials, 7th Annual Conference of the Cognitive Science Society, pp.228235-228247, 1985.

E. Stephanie, M. G. August, . Dyerar05-]-g, V. Aubry, and . Risch, Understanding analogies in editorials Toward a logical tool for generating new arguments in an argumentation based framework, IJCAI : 9th International Joint Conference on Articial Intelligence Proceedings of the 17th IEEE International Conference on Tools with Articial Intelligence (ICTAI 2005), pp.845847-845859, 1416.

[. Aubry, V. Rischaub02-]-g, and . Aubry, Génération d'arguments au sein d'un système argumentatif, p.80, 2006.

?. Benferhat, D. Dubois, and H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, Journées des Doctorants du LSIS (JDL6) UAI '93 : Proceedings of the Ninth Annual Conference on Uncertainty in Articial Intelligence, pp.1321-411419, 1993.
DOI : 10.1016/B978-1-4832-1451-1.50054-8

. Jr and N. D. Belnap, A useful four-valued logic, Modern Uses of Multiple-Valued Logic, pp.837-51, 1977.

P. Besnard, A. Hunterbob80, and ]. D. Bobrow, A logic-based theory of deductive arguments Special issue on non-monotonic logic, Articial Intelligence Articial Intelligence, vol.128, issue.13 11, pp.203235-100, 1980.

A. Bochman, Brave nonmonotonic inference and its kinds, Annals of Mathematics and Articial Intelligence, vol.39, issue.1 2, pp.101121-101163, 2003.

]. G. Bre94 and . Brewka, A reconstruction of rescher's theory of formal disputation based on default logic, Proc. of the 11th ECAI, p.28, 1994.

C. Cayrol and M. , On the complexity of non-monotonic entailment in syntax-based approaches, Proceedings ECAI'94 Workshop on Algorithms, Complexity and Commonsense Reasoning, p.28, 1994.

C. Cayrol and M. , Gradual Valuation for Bipolar Argumentation Frameworks, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, pp.366377-366411, 2005.
DOI : 10.1007/11518655_32

B. ???-[-cml00-]-carlos-iván-chesñevar, A. G. Maguitman, and R. P. Loui, Logical models of argument, ACM Computing Surveys, vol.32, issue.27, pp.337383-337411, 2000.

[. Das, J. Fox, and P. Krause, A unied framework for hypothetical and practical reasoning (1) : Theoretical foundations, FAPR '96 : Proceedings of the International Conference on Formal and Applied Practical Reasoning, pp.5872-5884, 1996.

[. Dung, An argumentation semantics for logic programming with explicit negation, ICLP, p.616630, 1993.

D. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming, IJCAI : 13th International Joint Conference on Articial Intelligence, pp.852859-852887, 1993.

D. Phan-minh, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Articial Intelligence, vol.77, issue.45, pp.321358-321389, 1995.

M. Elvang-gøransson and A. Hunter, Argumentative logics: Reasoning with classically inconsistent information, Data & Knowledge Engineering, vol.16, issue.2, pp.125145-125175, 1995.
DOI : 10.1016/0169-023X(95)00013-I

M. Elvang-gøransson, P. Krause, and J. Fox, Dialectic reasoning with inconsistent information, UAI '93 : Proceedings of the Ninth Annual Conference on Uncertainty in Articial Intelligence, pp.114121-83, 1993.
DOI : 10.1016/B978-1-4832-1451-1.50018-4

G. Ferguson, J. F. Allen, and B. Miller, Trains-95 : Towards a mixed-initiative planning assistant, AIPS : 3rd International Conference on AI Planning Systems, pp.7077-7089, 1996.

A. J. García, La programación en lógica rebatible, su denición teórica y computacional, p.34, 1997.

A. Garcia, D. Gollapally, P. Tarau, and G. Simari, Deliberative stock market agents using jinni and defeasible logic programming, ECAI Workshop on Engineering Societies in the Agents' World, p.12, 2000.

F. Thomas and . Gordon, Pleadings Game : An Articial Intelligence Model of Procedural Justice, p.12, 1995.

N. Benjamin and . Grosof, Generalizing prioritization, KR, pp.289300-289328, 1991.

A. J. García, G. Konolige, M. E. Pollack, K. Konolige, and M. E. Pollack, Defeasible logic programming : An argumentative approach. CoRR (The Computing Research Repository), cs Ascribing plans to agents A representationalist theory of intention, IJCAI : 11th International Joint Conference on Articial Intelligence IJCAI : International Joint Conference on Articial Intelligence, pp.28-924930, 1989.

P. Ronald, J. Loui, J. Norman, A. Olson, ]. R. Merrilllou87 et al., A design for reasoning with policies, precedents, and rationales Defeat among arguments : a system of defeasible inference Argument systems : A uniform basis for nonmonotonic reasoning, ICAIL '93 : Proceedings of the 4th international conference on Articial intelligence and lawLS89] Fangzhen Lin and Yoav Shoham Some philosophical problems from the standpoint of articial intelligence. Readings in nonmonotonic reasoning, pp.202211100106-26, 1987.

J. L. Pollock, The structure of epistemic justication, American Philosophical Quarterly, monograph series, vol.46278, p.28, 1970.

J. L. Pollock, Defeasible reasoning, Cognitive Science, vol.11, issue.20, pp.481518-481540, 1987.
DOI : 10.1017/cbo9780511814273.025

J. L. Pollock, How to reason defeasibly, Artificial Intelligence, vol.57, issue.1, pp.142-174, 1992.
DOI : 10.1016/0004-3702(92)90103-5

D. Poole, A logical framework for default reasoning, Artificial Intelligence, vol.36, issue.1, pp.2747-2773, 1988.
DOI : 10.1016/0004-3702(88)90077-X

H. Prakken, An argumentation framework in default logic, Annals of Mathematics and Artificial Intelligence, vol.2, issue.1-2
DOI : 10.1007/BF01531263

H. Prakken, ]. H. Prakken, and G. Sartor, Logical tools for modelling legal argument : A study of defeasible reasoning in law Actes de 4th ModelAge Workshop on formal Models of Agents A dialectical model of assessing conicting arguments in legal reasoning, Articial Intelligence and Law, vol.32, issue.20, pp.201214-26331368, 1996.
DOI : 10.1007/978-94-015-8975-8

H. Prakken and G. Sartor, Argument-based extended logic programming with defeasible priorities Agents that reason and negotiate by arguing, PSJ98] Simon Parsons, Carles Sierra, and Nick Jennings, pp.31261292-31261304, 1997.

G. [. Prakken, ]. Vreeswijkrei78, and . Reiter, Logical systems for defeasible argumentation On closed-word data bases A logic for default reasoning, Handbook of Philosophical Logic Logic and Data Bases, pp.219318-219349, 1977.

?. Bibliographie-[-sad00, ]. S. Sadok, and G. Sartor, Une caractérisation des X-logiques en termes de tableaux analytiques A formal model of legal argumentation, Ratio Juris, vol.7, pp.212226-212238, 1994.

G. R. Simari, C. I. Chesñevar, and A. J. García, The role of dialectics in defeasible argumentation, Anales de la XIV Conferencia Internacional de la Sociedad Chilena para Ciencias de la Computación, p.33, 1994.

P. Siegel and L. Forget, A representation theorem for preferential logics, KR'96, Proceedings of the fth International Conference on the Principles of Knowledge Representation and Reasoning, KR'96, pp.453460-453503, 1996.

R. Guillermo, R. P. Simari, and . Loui, A mathematical treatment of defeasible reasoning and its implementation Suchenek. First-order syntactic characterization of minimal entailment, domain minimal entailment, and herbrand entailment, Articial Intelligence Journal of Automated Reasoning, vol.53, issue.102, pp.125157-83237263, 1992.

K. P. Sycara, Argumentation : Planning other agents' plans [Syc90] Katia Sycara. Persuasive argumentation in negotiation, IJCAI : 11th International Joint Conference on Articial Intelligence, pp.517523-12203242, 1989.

G. Vreeswijkvre92 and ]. G. Vreeswijk, The feasibility of defeat in defeasible reasoning Reasoning with defeasible arguments : Examples and applications, Logics in AI : Proc. of the European Workshop JELIA'92, pp.526534-189211, 1991.