On the impact of configuration on abstract argumentation automated reasoning
From MaRDI portal
Publication:1687275
DOI10.1016/j.ijar.2017.10.002zbMath1423.68411OpenAlexW2760813595MaRDI QIDQ1687275
Mauro Vallati, Massimiliano Giacomin, Federico Cerutti
Publication date: 22 December 2017
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: http://eprints.hud.ac.uk/id/eprint/33607/1/impactconfigurationportfolio-ijar.pdf
abstract argumentationautomatic configurationportfolios methods for argumentationsolvers for argumentation problems
Related Items (6)
On the importance of domain model configuration for automated planning engines ⋮ Lattice point of view for argumentation framework ⋮ On the preferred extensions of argumentation frameworks: bijections with naive sets ⋮ Unnamed Item ⋮ Design and results of the second international competition on computational models of argumentation ⋮ How we designed winning algorithms for abstract argumentation and which insight we attained
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Algorithm runtime prediction: methods \& evaluation
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- A logical account of formal argumentation
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Automata for infinite argumentation structures
- SCC-recursiveness: a general schema for argumentation semantics
- Abstract Solvers for Dung’s Argumentation Frameworks
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- MADS/F-Race: Mesh Adaptive Direct Search Meets F-Race
- Emergence of Scaling in Random Networks
- Lazy Clause Exchange Policy for Parallel SAT Solvers
- On the Issue of Reinstatement in Argumentation
- ParamILS: An Automatic Algorithm Configuration Framework
- Theory and Applications of Satisfiability Testing
- Collective dynamics of ‘small-world’ networks
- Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach
- Random forests
This page was built for publication: On the impact of configuration on abstract argumentation automated reasoning
