How we designed winning algorithms for abstract argumentation and which insight we attained

Keyphrases

• Abstract Argumentation 100%
• Preferred Semantics 100%
• Computational Argumentation 66%
• SAT Solver 66%
• Design Methodology 33%
• International Competition 33%
• Popular 33%
• Abstract Argumentation Frameworks 33%
• Decision Problems 33%
• Enumeration Problem 33%
• Domain-specific Knowledge 33%
• Algorithm Design 33%
• Systematic Exploration 33%
• Design Decisions 33%
• Dung 33%
• Stable Extensions 33%
• Most Complex 33%
• Complex Semantics 33%
• Coding Constraint 33%
• AllSAT 33%
• Multiple Calls 33%

Computer Science

• Argumentation 100%
• Computational Modeling 33%
• Algorithm Design 33%
• Stable Extension 33%
• Algorithmic Encoding 33%