Towards a Logic-based Theory of Argumentation

Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000

Volumn , Issue , 2000, Pages 411-416

  Besnard, Philippe ^a   Hunter, Anthony ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

AGGREGATION FUNCTIONS; CLASSICAL LOGIC; CONSISTENT SETS; FORMAL REPRESENTATIONS; GENERALISATION;

COMPUTER CIRCUITS;

EID: 33644931031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. S. Benferhat, D. Dubois, and H. Prade. Argumentative inference in uncertain and inconsistent knowledgebases. In Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (UAI'93), pages 485-491. Morgan Kaufmann, 1993.
2. P. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357, 1995.
3. M. Elvang-Goransson and A. Hunter. Argumentative logics: Reasoning from classically inconsistent information. Data and Knowledge Engineering, 16:125-145, 1995.
4. P. Geerts, E. Laenens, and D. Vermeir. Defeasible logics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems. Volume 2: Reasoning with Actual and Potential Contradictions, pages 175-210. Kluwer, 1998.
5. A. Hunter and B. Nuseibeh. Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology, 7:335-367, 1998.
6. A. Hunter. Reasoning with inconsistency in structured text. Knowledge Engineering Review, to appear.
7. J. Horty, R. Thomason, and D. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial Intelligence, 42:311-348, 1990.
8. D. Nute. Defeasible logics. In Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Non-monotonic Reasoning and Uncertainty Reasoning, pages 355-395. Oxford University Press, 1994.
9. G. Pinkas and R. Loui. Reasoning from inconsistency: A taxomony of principles for resolving conflict. In Proceedings of the Third International Conference on Knowledge Representation and Reasoning (KR'92), pages 709-719. Morgan Kaufmann, 1992.
10. H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. In Handbook of Philosophical Logic, 2nd ed., to appear.
11. N. Rescher and R. Manor. On inference from inconsistent premisses. Theory and Decision, 1:179-217, 1970.
12. G. Simari and R. Loui. A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53:125-157, 1992.
13. S. Toulmin. The Uses of Argument. Cambridge University Press, 1958.