|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | FINK, MICHAEL | A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There | Artikel Article | 2011 |
| 2 | | Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael | Causal Graph Justifications of Logic Programs | Artikel Article  | 2014 |
| 3 | | ALVIANO, MARIO ; FABER, WOLFGANG ; WOLTRAN, STEFAN | Complexity of super-coherence problems in ASP | Artikel Article | 2014 |
| 4 | | EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH | Conflict-driven ASP solving with external sources | Artikel Article | 2012 |
| 5 | | CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER | Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis | Artikel Article | 2017 |
| 6 | | BLIEM, BERNHARD ; MORAK, MICHAEL ; WOLTRAN, STEFAN | D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming | Artikel Article | 2012 |
| 7 | | Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin | A Distributed Approach to LARS Stream Reasoning (System paper) | Artikel Article | 20-Sep-2019 |
| 8 | | FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN | Dual-normal logic programs - the forgotten class | Artikel Article | 2015 |
| 9 | | KAMINSKI, TOBIAS ; EITER, THOMAS ; INOUE, KATSUMI | Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning | Artikel Article | 2018 |
| 10 | | EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL | Finding Similar/Diverse Solutions in Answer Set Programming | Artikel Article | 2011 |
| 11 | | EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL | Finding Similar/Diverse Solutions in Answer Set Programming | Artikel Article | 2013 |
| 12 | | GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN | Improved answer-set programming encodings for abstract argumentation | Artikel Article | 2015 |
| 13 | | REDL, CHRISTOPH | Inlining External Sources in Answer Set Programs | Artikel Article | 2019 |
| 14 | | EITER, THOMAS ; TONI, FRANCESCA | Introduction to the 31st International Conference on Logic Programming Special Issue | Artikel Article | 2015 |
| 15 | | Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | A model building framework for answer set programming with external computations | Artikel Article | Jul-2016 |
| 16 | | ANTIĆ, CHRISTIAN | On cascade products of answer set programs | Artikel Article | 2014 |
| 17 | | FABER, WOLFGANG ; MORAK, MICHAEL ; WOLTRAN, STEFAN | On Uniform Equivalence of Epistemic Logic Programs | Artikel Article | 2019 |
| 18 | | CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER | Partial Compilation of ASP Programs | Artikel Article | 2019 |
| 19 | | FEIER, CRISTINA ; HEYMANS, STIJN | Reasoning with Forest Logic Programs and f-hybrid knowledge bases | Artikel Article | 2011 |
| 20 | | Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans | Stepwise debugging of answer-set programs | Artikel Article | 2018 |
