On the impact of configuration on abstract argumentation automated reasoning

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

zbMATH Keywords

abstract argumentationautomatic configurationportfolios methods for argumentationsolvers for argumentation problems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

• Unnamed Item
• Unnamed Item
• SATzilla
• WEKA
• ASPARTIX
• claspfolio 2
• CoQuiAAS
• SMAC

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