- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence 170 (2):114-159 (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
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.
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.
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, 18 Unconventional Essays on the Nature of Mathematics. Springer. 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.
Analytics
Added to PP
2020-12-22
Downloads
48 (#1,217,259)
6 months
13 (#897,743)
2020-12-22
Downloads
48 (#1,217,259)
6 months
13 (#897,743)
Historical graph of downloads
Author's Profile
Citations of this work
An abstract framework for argumentation with structured arguments.Henry Prakken - 2010 - Argument and Computation 1 (2):93-124.
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.
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.
References found in this work
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
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.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation