Stefan Woltran

Recent Publications

Tractable Abstract Argumentation via Backdoor-Treewidth
Wolfgang Dvorak, Markus Hecher, Matthias König, Andre Schidler, Stefan Szeider, Stefan Woltran
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 5608-5615, 2022, AAAI Press.
PDF bib Project Project
Clique-Width and Directed Width Measures for Answer-Set Programming
Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran
ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke Hüllermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1105-1113, 2016, IOS Press.
bib
Computing secure sets in graphs using answer set programming
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran
Journal of Logic and Computation, 2015.
PDF bib DOI
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran
Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina (Qiang Yang and Michael Wooldridge), pages 275-282, 2015.
PDF bib
Tractable answer-set programming with weight constraints: bounded treewidth is not enough
Reinhard Pichler, Stefan R{ü}mmele, Stefan Szeider, Stefan Woltran
Theory Pract. Log. Program., volume 14, number 2, pages 141-164, 2014.
bib DOI