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 ? ,
Application directe de la propriété 7.7 puis de celle intitulée pertinence sans interdits ,
On the acceptability of arguments in preference-based argumentation, UAI, pp.17-29, 1998. ,
Analogy recognition and comprehension in editorials, 7th Annual Conference of the Cognitive Science Society, pp.228235-228247, 1985. ,
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. ,
Génération d'arguments au sein d'un système argumentatif, p.80, 2006. ,
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
A useful four-valued logic, Modern Uses of Multiple-Valued Logic, pp.837-51, 1977. ,
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. ,
Brave nonmonotonic inference and its kinds, Annals of Mathematics and Articial Intelligence, vol.39, issue.1 2, pp.101121-101163, 2003. ,
A reconstruction of rescher's theory of formal disputation based on default logic, Proc. of the 11th ECAI, p.28, 1994. ,
On the complexity of non-monotonic entailment in syntax-based approaches, Proceedings ECAI'94 Workshop on Algorithms, Complexity and Commonsense Reasoning, p.28, 1994. ,
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
Logical models of argument, ACM Computing Surveys, vol.32, issue.27, pp.337383-337411, 2000. ,
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. ,
An argumentation semantics for logic programming with explicit negation, ICLP, p.616630, 1993. ,
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. ,
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. ,
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
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
Trains-95 : Towards a mixed-initiative planning assistant, AIPS : 3rd International Conference on AI Planning Systems, pp.7077-7089, 1996. ,
La programación en lógica rebatible, su denición teórica y computacional, p.34, 1997. ,
Deliberative stock market agents using jinni and defeasible logic programming, ECAI Workshop on Engineering Societies in the Agents' World, p.12, 2000. ,
Pleadings Game : An Articial Intelligence Model of Procedural Justice, p.12, 1995. ,
Generalizing prioritization, KR, pp.289300-289328, 1991. ,
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. ,
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. ,
The structure of epistemic justication, American Philosophical Quarterly, monograph series, vol.46278, p.28, 1970. ,
Defeasible reasoning, Cognitive Science, vol.11, issue.20, pp.481518-481540, 1987. ,
DOI : 10.1017/cbo9780511814273.025
How to reason defeasibly, Artificial Intelligence, vol.57, issue.1, pp.142-174, 1992. ,
DOI : 10.1016/0004-3702(92)90103-5
A logical framework for default reasoning, Artificial Intelligence, vol.36, issue.1, pp.2747-2773, 1988. ,
DOI : 10.1016/0004-3702(88)90077-X
An argumentation framework in default logic, Annals of Mathematics and Artificial Intelligence, vol.2, issue.1-2 ,
DOI : 10.1007/BF01531263
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
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. ,
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. ,
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. ,
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. ,
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. ,
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. ,
Argumentation : Planning other agents' plans [Syc90] Katia Sycara. Persuasive argumentation in negotiation, IJCAI : 11th International Joint Conference on Articial Intelligence, pp.517523-12203242, 1989. ,
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. ,