Advanced SAT Techniques for Abstract Argumentation

DOI10.1007/978-3-642-40624-9_9zbMath1401.68312OpenAlexW2112598286WikidataQ62040443 ScholiaQ62040443MaRDI QIDQ2851963

Georg Weissenbacher, Stefan Woltran, Johannes Peter Wallner

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40624-9_9

zbMATH Keywords

argumentation systemspropositional satisfiabilityabstract argumentation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Minimal sets on propositional formulae. Problems and reductions ⋮ How we designed winning algorithms for abstract argumentation and which insight we attained ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey

Uses Software

• Chaff
• Potassco

This page was built for publication: Advanced SAT Techniques for Abstract Argumentation