Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Stefan Woltran

TU Wien, Austria

Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

Jul 07, 2020
Wolfgang Dvořák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran


  Access Paper or Ask Questions

Structural Decompositions of Epistemic Logic Programs

Jan 13, 2020
Markus Hecher, Michael Morak, Stefan Woltran


  Access Paper or Ask Questions

Exploiting Database Management Systems and Treewidth for Counting

Jan 13, 2020
Johannes K. Fichte, Markus Hecher, Patrick Thier, Stefan Woltran


  Access Paper or Ask Questions

selp: A Single-Shot Epistemic Logic Program Solver

Jan 04, 2020
Manuel Bichler, Michael Morak, Stefan Woltran

* 19 pages, 2 figures, under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Solving Advanced Argumentation Problems with Answer Set Programming

Dec 05, 2019
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Design and Results of the Second International Competition on Computational Models of Argumentation

Sep 02, 2019
Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran

* submitted to Artificial Intelligence 

  Access Paper or Ask Questions

On Uniform Equivalence of Epistemic Logic Programs

Jul 25, 2019
Wolfgang Faber, Michael Morak, Stefan Woltran

* Accepted for publication and presentation at the 35th International Conference of Logic Programming, ICLP 2019, in Las Cruces, New Mexico, USA 

  Access Paper or Ask Questions

Weighted Abstract Dialectical Frameworks: Extended and Revised Report

Sep 07, 2018
Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, Stefan Woltran

* This is an extended and corrected version of the paper Weighted Abstract Dialectical Frameworks published in the Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018) 

  Access Paper or Ask Questions

Exploiting Treewidth for Projected Model Counting and its Limits

May 14, 2018
Johannes K. Fichte, Michael Morak, Markus Hecher, Stefan Woltran


  Access Paper or Ask Questions

When You Must Forget: beyond strong persistence when forgetting in answer set programming

Jul 17, 2017
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran

* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017, 15 pages, LaTeX (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

DynASP2.5: Dynamic Programming on Tree Decompositions in Action

Jun 28, 2017
Johannes K. Fichte, Markus Hecher, Michael Morak, Stefan Woltran


  Access Paper or Ask Questions

Answer Set Solving with Bounded Treewidth Revisited

Feb 09, 2017
Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran

* This paper extends and updates a paper that has been presented on the workshop TAASP'16 (arXiv:1612.07601). We provide a higher detail level, full proofs and more examples 

  Access Paper or Ask Questions

Clique-Width and Directed Width Measures for Answer-Set Programming

Dec 30, 2016
Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran

* A short version of this paper has been accepted to ECAI 2016 and TAASP 2016 

  Access Paper or Ask Questions

Counting Answer Sets via Dynamic Programming

Dec 22, 2016
Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran

* Informal proceedings of the 1st Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), Klagenfurt, Austria, 26 September 2016 

  Access Paper or Ask Questions

lpopt: A Rule Optimization Tool for Answer Set Programming

Aug 23, 2016
Manuel Bichler, Michael Morak, Stefan Woltran

* Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534), 14 pages, LaTeX, 2 figures 

  Access Paper or Ask Questions

The Power of Non-Ground Rules in Answer Set Programming

Aug 05, 2016
Manuel Bichler, Michael Morak, Stefan Woltran

* Paper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 2 figures 

  Access Paper or Ask Questions

Distributing Knowledge into Simple Bases

Mar 31, 2016
Adrian Haret, Jean-Guy Mailly, Stefan Woltran


  Access Paper or Ask Questions

Verifiability of Argumentation Semantics

Mar 31, 2016
Ringo Baumann, Thomas Linsbichler, Stefan Woltran

* Contribution to the 16h International Workshop on Non-Monotonic Reasoning, 2016, Cape Town 

  Access Paper or Ask Questions

Improved Answer-Set Programming Encodings for Abstract Argumentation

Oct 20, 2015
Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran

* Theory and Practice of Logic Programming 15 (2015) 434-448 
* To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 

  Access Paper or Ask Questions

Dual-normal Logic Programs - the Forgotten Class

Jul 20, 2015
Johannes K. Fichte, Miroslaw Truszczynski, Stefan Woltran

* This is the author's self-archived copy including detailed proofs. To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of the 31st International Conference on Logic Programming (ICLP 2015) 

  Access Paper or Ask Questions

Compact Argumentation Frameworks

Apr 30, 2014
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran

* Contribution to the 15th International Workshop on Non-Monotonic Reasoning, 2014, Vienna 

  Access Paper or Ask Questions

Belief merging within fragments of propositional logic

Apr 25, 2014
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran

* To appear in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) 

  Access Paper or Ask Questions

On the Intertranslatability of Argumentation Semantics

Jan 16, 2014
Wolfgang Dvorak, Stefan Woltran

* Journal Of Artificial Intelligence Research, Volume 41, pages 445-475, 2011 

  Access Paper or Ask Questions

Modularity Aspects of Disjunctive Stable Models

Jan 15, 2014
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

* Journal Of Artificial Intelligence Research, Volume 35, pages 813-857, 2009 

  Access Paper or Ask Questions

Utilizing ASP for Generating and Visualizing Argumentation Frameworks

Jan 08, 2013
Günther Charwat, Johannes Peter Wallner, Stefan Woltran

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 

  Access Paper or Ask Questions

D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

Oct 06, 2012
Bernhard Bliem, Michael Morak, Stefan Woltran

* 18 pages, 5 figures. To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough

May 29, 2012
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran

* Theory and Practice of Logic Programming, Volume 14, Issue 02, pp 141-164, 2014 
* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Strong Equivalence of Qualitative Optimization Problems

Dec 04, 2011
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran


  Access Paper or Ask Questions

Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems

Aug 24, 2011
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner, Stefan Woltran

* Paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) 

  Access Paper or Ask Questions

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation

Aug 24, 2011
Wolfgang Dvořák, Michael Morak, Clemens Nopp, Stefan Woltran

* The paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) 

  Access Paper or Ask Questions