|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | WOLTRAN, STEFAN | A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming | Artikel Article  | 2008 |
| 2 | | FINK, MICHAEL | A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There | Artikel Article | 2011 |
| 3 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans | A Knowledge-Based Approach for Selecting Information Sources | Artikel Article | 2007 |
| 4 | | WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Artikel Article | 2020 |
| 5 | | EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling | Article Artikel   | 26-Jan-2023 |
| 6 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM | Article Artikel | 1-Mar-2024 |
| 7 | | Eiter, Thomas ; Kiesel, Rafael | ASP(AC): Answer Set Programming with Algebraic Constraints | Artikel Article | 2020 |
| 8 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Kaminski, Tobias | ASP-FZN: a translation-based constraint answer set solver | Article Artikel | Jul-2025 |
| 9 | | Beiser, Alexander ; Woltran, Stefan ; Hecher, Markus | Automated Hybrid Grounding Using Structural and Data-Driven Heuristics | Article Artikel | Jul-2025 |
| 10 | | Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael | Causal Graph Justifications of Logic Programs | Artikel Article | 2014 |
| 11 | | PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN | Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity | Artikel Article | 2009 |
| 12 | | EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW | The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II | Article Artikel | Jan-2023 |
| 13 | | ALVIANO, MARIO ; FABER, WOLFGANG ; WOLTRAN, STEFAN | Complexity of super-coherence problems in ASP | Artikel Article | 2014 |
| 14 | | TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Artikel Article | 2020 |
| 15 | | EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH | Conflict-driven ASP solving with external sources | Artikel Article | 2012 |
| 16 | | CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER | Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis | Artikel Article | 2017 |
| 17 | | BLIEM, BERNHARD ; MORAK, MICHAEL ; WOLTRAN, STEFAN | D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming | Artikel Article | 2012 |
| 18 | | Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin | A Distributed Approach to LARS Stream Reasoning (System paper) | Artikel Article | 20-Sep-2019 |
| 19 | | FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN | Dual-normal logic programs - the forgotten class | Artikel Article | 2015 |
| 20 | | Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika | Efficient Knowledge Compilation Beyond Weighted Model Counting | Article Artikel | 3-Jul-2022 |
