Encoding deductive argumentation in quantified Boolean formulae

, &
Artificial Intelligence 173 (15):1406-1423 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2009.06.006

Links

PhilArchive



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

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

Unification For Quantified Formulae.Wilfried Sieg - unknown
Reasoning in abstract dialectical frameworks using quantified Boolean formulas.Martin Diller, Johannes Peter Wallner & Stefan Woltran - 2015 - Argument and Computation 6 (2):149-177.
Informalizing Formal Logic.Antonis Kakas - 2019 - Informal Logic 39 (2):169-204.
A Unitary Schema for Arguments by Analogy.Lilian Bermejo-Luque - 2012 - Informal Logic 32 (1):1-24.
Formal aspects of Legal reasoning.A. Soeteman - 1995 - Argumentation 9 (5):731-746.
Theory of Semi-Instantiation in Abstract Argumentation.D. M. Gabbay - 2016 - Logica Universalis 10 (4):431-516.
A logic-based theory of deductive arguments☆☆This is an extended version of a paper entitled “Towards a logic-based theory of argumentation” published in the Proceedings of the National Conference on Artificial Intelligence (AAAI'2000), Austin, TX, MIT Press, Cambridge, MA, 2000. [REVIEW]Philippe Besnard & Anthony Hunter - 2001 - Artificial Intelligence 128 (1-2):203-235.
A New Light on Non-deductive Argumentation Schemes.Harald Wohlrapp - 1998 - Argumentation 12 (3):341-350.
An alternative semantics for quantified relevant logic.Edwin D. Mares & Robert Goldblatt - 2006 - Journal of Symbolic Logic 71 (1):163-187.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
On the measure of conflicts: an argumentation-based framework.Badran Raddaoui - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):240-259.
Constant Domain Quantified Modal Logics Without Boolean Negation.Greg Restall - 2005 - Australasian Journal of Logic 3:45-62.
Elements of Argumentation.Philippe Besnard & Anthony Hunter - 2009 - Studia Logica 93 (1):97-103.
Introduction: Rhetoricians on Argumentation.Christian Kock - 2020 - Argumentation 34 (3):287-295.
Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscript

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,387,247)

6 months
6 (#520,934)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Argument-based extended logic programming with defeasible priorities.Henry Prakken & Giovanni Sartor - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):25-75.
Coherence in finite argument systems.Paul E. Dunne & T. J. M. Bench-Capon - 2002 - Artificial Intelligence 141 (1-2):187-203.

View all 8 references / Add more references