Dialectic proof procedures for assumption-based, admissible argumentation

, &
Artificial Intelligence 170 (2):114-159 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2005.07.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown
Burden of Proof, Presumption and Argumentation.Douglas Walton - 2014 - Cambridge University Press.
Initial sets in abstract argumentation frameworks.Yuming Xu & Claudette Cayrol - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):260-279.
Modular argumentation for modelling legal doctrines in common law of contract.Phan Minh Dung & Phan Minh Thang - 2009 - Artificial Intelligence and Law 17 (3):167-182.
A System of Argumentation Forms in Aristotle.Simon Wolf - 2010 - Argumentation 24 (1):19-40.
Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation.Bas van Gijzel & Henry Prakken - 2012 - Argument and Computation 3 (1):21 - 47.
The informal logic of mathematical proof.Andrew Aberdein - 2006 - In Reuben Hersh (ed.), 18 Unconventional Essays About the Nature of Mathematics. Springer Verlag. pp. 56-70.
Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger.Dov M. Gabbay - 2011 - Logica Universalis 5 (2):255-318.
Evaluating Dialectical Structures.Gregor Betz - 2009 - Journal of Philosophical Logic 38 (3):283-312.
Metadialogues for Resolving Burden of Proof Disputes.Douglas N. Walton - 2007 - Argumentation 21 (3):291-316.
Rhétorique et dialectique chez Aristote.Olivier Reboul - 1990 - Argumentation 4 (1):35-52.
HC of an admissible set.Sy D. Friedman - 1979 - Journal of Symbolic Logic 44 (1):95-102.
The Burden of Proof and Its Role in Argumentation.Ulrike Hahn & Mike Oaksford - 2007 - Argumentation 21 (1):39-61.
Meta-Argumentation Modelling I: Methodology and Techniques.G. Boella, D. M. Gabbay, L. van der Torre & S. Villata - 2009 - Studia Logica 93 (2-3):297-354.

Analytics

Added to PP
2020-12-22

Downloads
15 (#947,268)

6 months
11 (#237,895)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.
A tutorial on assumption-based argumentation.Francesca Toni - 2014 - Argument and Computation 5 (1):89-117.

View all 30 citations / Add more citations

References found in this work

Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
What is reasoning? What is an argument?Douglas N. Walton - 1990 - Journal of Philosophy 87 (8):399-419.

View all 14 references / Add more references