- Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets.David Makinson & Karl Schlechta - 1991 - Artificial Intelligence 48 (2):199-209.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
|
|
An abstract framework for argumentation with structured arguments.Henry Prakken - 2010 - Argument and Computation 1 (2):93-124.details
|
|
Automata for infinite argumentation structures.Pietro Baroni, Federico Cerutti, Paul E. Dunne & Massimiliano Giacomin - 2013 - Artificial Intelligence 203 (C):104-150.details
|
|
Complexity-sensitive decision procedures for abstract argumentation.Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner & Stefan Woltran - 2014 - Artificial Intelligence 206 (C):53-78.details
|
|
Automatic construction of parallel portfolios via algorithm configuration.Marius Lindauer, Holger Hoos, Kevin Leyton-Brown & Torsten Schaub - 2017 - Artificial Intelligence 244 (C):272-290.details
|
|
Algorithm runtime prediction: Methods & evaluation.Frank Hutter, Lin Xu, Holger H. Hoos & Kevin Leyton-Brown - 2014 - Artificial Intelligence 206 (C):79-111.details
|
|
The first international competition on computational models of argumentation: Results and analysis.Matthias Thimm & Serena Villata - 2017 - Artificial Intelligence 252 (C):267-294.details
|
|
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.details
|
|
(1 other version)The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Mathematical Logic Quarterly 13 (1‐2):15-20.details
|
|
Artificial argument assistants for defeasible argumentation.Bart Verheij - 2003 - Artificial Intelligence 150 (1-2):291-324.details
|
|
(1 other version)The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):15-20.details
|
|
The Configurable SAT Solver Challenge.Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos & Kevin Leyton-Brown - 2017 - Artificial Intelligence 243 (C):1-25.details
|
|
Towards fixed-parameter tractable algorithms for abstract argumentation.Wolfgang Dvořák, Reinhard Pichler & Stefan Woltran - 2012 - Artificial Intelligence 186 (C):1-37.details
|
|