- 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
Characterizing strong equivalence for argumentation frameworks
Artificial Intelligence 175 (14-15):1985-2009 (2011)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Normal and strong expansion equivalence for argumentation frameworks.Ringo Baumann - 2012 - Artificial Intelligence 193 (C):18-44.
Abduction in argumentation frameworks.Chiaki Sakama - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):218-239.
Abstract Argumentation in Artificial Intelligence. Problems of Interpretation and Adequacy of Semantics for Decision Making.Gustavo Adrián Bodanza - unknown
Argumentation, R. Pavilionis's meaning continuum and The Kitchen debate.Elena Lisanyuk - 2015 - Problemos 88:95.
A general notion of equivalence for abstract argumentation.Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler & Stefan Woltran - 2019 - Artificial Intelligence 275 (C):379-410.
Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations.Sebastian Gottifredi, Andrea Cohen, Alejandro J. García & Guillermo R. Simari - 2018 - Artificial Intelligence 262 (C):336-368.
The Equivalence Principle(s).Dennis Lehmkuhl - 2022 - In Eleanor Knox & Alastair Wilson (eds.), The Routledge Companion to Philosophy of Physics. London, UK: Routledge.
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.AnneMarie Borg, Christian Straßer & Ofer Arieli - 2020 - Studia Logica 109 (1):167-238.
Abstract solvers for Dung’s argumentation frameworks.Remi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner & Stefan Woltran - 2018 - Argument and Computation 9 (1):41-72.
Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
Intrinsic Versus Instrumental Values of Argumentation: The Rhetorical Dimension of Argumentation. [REVIEW]Lilian Bermejo-Luque - 2010 - Argumentation 24 (4):453-474.
Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.
What is the equivalence connective.Jacek Kabzinski - 1980 - Bulletin of the Section of Logic 9 (4):184-187.
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence.Arthur W. Apter - 2006 - Mathematical Logic Quarterly 52 (5):457-463.
Analytics
Added to PP
2020-12-22
Downloads
11 (#1,130,421)
6 months
9 (#300,363)
2020-12-22
Downloads
11 (#1,130,421)
6 months
9 (#300,363)
Historical graph of downloads
Citations of this work
Methods for solving reasoning problems in abstract argumentation – A survey.Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner & Stefan Woltran - 2015 - Artificial Intelligence 220 (C):28-63.
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.Ringo Baumann, Gerhard Brewka & Markus Ulbricht - 2022 - Artificial Intelligence 310 (C):103742.
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.Ringo Baumann & Hannes Strass - 2022 - Artificial Intelligence 305 (C):103680.
On the Input/Output behavior of argumentation frameworks.Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre & Serena Villata - 2014 - Artificial Intelligence 217 (C):144-197.
Handling and measuring inconsistency in non-monotonic logics.Markus Ulbricht, Matthias Thimm & Gerhard Brewka - 2020 - Artificial Intelligence 286 (C):103344.
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.
Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.
SCC-recursiveness: a general schema for argumentation semantics.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 168 (1-2):162-210.
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-687984fc98-69vp6 uwo