Switch to: Citations

Add references

You must login to add references.
  1. The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • An abstract, argumentation-theoretic approach to default reasoning.A. Bondarenko, P. M. Dung, R. A. Kowalski & F. Toni - 1997 - Artificial Intelligence 93 (1-2):63-101.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Normal and strong expansion equivalence for argumentation frameworks.Ringo Baumann - 2012 - Artificial Intelligence 193 (C):18-44.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • SCC-recursiveness: a general schema for argumentation semantics.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 168 (1-2):162-210.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Using arguments for making and explaining decisions.Leila Amgoud & Henri Prade - 2009 - Artificial Intelligence 173 (3-4):413-436.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Download  
     
    Export citation  
     
    Bookmark   403 citations  
  • Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
    The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put (...)
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Characterizing strong equivalence for argumentation frameworks.Emilia Oikarinen & Stefan Woltran - 2011 - Artificial Intelligence 175 (14-15):1985-2009.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   440 citations  
  • Computational properties of argument systems satisfying graph-theoretic constraints.Paul E. Dunne - 2007 - Artificial Intelligence 171 (10-15):701-729.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Elements of Argumentation.Philippe Besnard & Anthony Hunter - 2009 - Studia Logica 93 (1):97-103.
    Download  
     
    Export citation  
     
    Bookmark   38 citations