- The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
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.details
|
|
Normal and strong expansion equivalence for argumentation frameworks.Ringo Baumann - 2012 - Artificial Intelligence 193 (C):18-44.details
|
|
SCC-recursiveness: a general schema for argumentation semantics.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 168 (1-2):162-210.details
|
|
Using arguments for making and explaining decisions.Leila Amgoud & Henri Prade - 2009 - Artificial Intelligence 173 (3-4):413-436.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
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.details
|
|
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.details
|
|
Characterizing strong equivalence for argumentation frameworks.Emilia Oikarinen & Stefan Woltran - 2011 - Artificial Intelligence 175 (14-15):1985-2009.details
|
|
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.details
|
|
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.details
|
|
Computational properties of argument systems satisfying graph-theoretic constraints.Paul E. Dunne - 2007 - Artificial Intelligence 171 (10-15):701-729.details
|
|
Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.details
|
|
Theory of Logical Calculi, Basic Theory of Consequence Operations.Ryszard Wójcicki - 1991 - Studia Logica 50 (3):623-629.details
|
|
Elements of Argumentation.Philippe Besnard & Anthony Hunter - 2009 - Studia Logica 93 (1):97-103.details
|
|