Stefan Woltran

Recent Publications

Tractable Abstract Argumentation via Backdoor-Treewidth

2022

Computing secure sets in graphs using answer set programming

2015

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning

2015

Abstract Argumentation via Monadic Second Order Logic

2012