Switch to: Citations

Add references

You must login to add references.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   27 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   465 citations  
  • An abstract framework for argumentation with structured arguments.Henry Prakken - 2010 - Argument and Computation 1 (2):93-124.
    An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...)
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Automata for infinite argumentation structures.Pietro Baroni, Federico Cerutti, Paul E. Dunne & Massimiliano Giacomin - 2013 - Artificial Intelligence 203 (C):104-150.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Automatic construction of parallel portfolios via algorithm configuration.Marius Lindauer, Holger Hoos, Kevin Leyton-Brown & Torsten Schaub - 2017 - Artificial Intelligence 244 (C):272-290.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Algorithm runtime prediction: Methods & evaluation.Frank Hutter, Lin Xu, Holger H. Hoos & Kevin Leyton-Brown - 2014 - Artificial Intelligence 206 (C):79-111.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The first international competition on computational models of argumentation: Results and analysis.Matthias Thimm & Serena Villata - 2017 - Artificial Intelligence 252 (C):267-294.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Artificial argument assistants for defeasible argumentation.Bart Verheij - 2003 - Artificial Intelligence 150 (1-2):291-324.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Towards fixed-parameter tractable algorithms for abstract argumentation.Wolfgang Dvořák, Reinhard Pichler & Stefan Woltran - 2012 - Artificial Intelligence 186 (C):1-37.
    Download  
     
    Export citation  
     
    Bookmark   11 citations