|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | De Coster, Arnaud ; Musliu, Nysret ; Schaerf, Andrea ; Schoisswohl, Johannes ; Smith-Miles, Kate | Algorithm selection and instance space analysis for curriculum-based course timetabling | Artikel Article  | 2021 |
| 2 | | Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter | Abstraction for non-ground answer set programs | Artikel Article | 2021 |
| 3 | | Fichte, Johannes K. ; Hecher, Markus ; Hamiti, Florim | The Model Counting Competition 2020 | Artikel Article | 2021 |
| 4 | | Lackner, Martin ; Skowron, Piotr | Consistent approval-based multi-winner rules | Artikel Article | 2021 |
| 5 | | Bellomarini, Luigi ; Blasi, Livia ; Laurendi, Rosario ; Sallinger, Emanuel | Financial Data Exchange with Statistical Confidentiality: A Reasoning-based Approach | Konferenzbeitrag Inproceedings | 2021 |
| 6 | | BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN | Preface | Artikel Article | 2021 |
| 7 | | Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | DynASP2.5: Dynamic Programming on Tree Decompositions in Action | Artikel Article | 2021 |
| 8 | | Özcan, Ender ; Burke, Edmund ; Di Gaspero, Luca ; MCCollum, Barry ; Musliu, Nysret | Preface: The practice and theory of automated timetabling (2018) | Artikel Article | 2021 |
| 9 | | Bikakis, Antonis ; Cohen, Andrea ; Dvorak, Wolfgang ; Flouris, Giorgos ; Parsons, Simon | Joint Attacks and Accrual in Argumentation Frameworks | Artikel Article | 2021 |
| 10 | | Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander | Algorithms and conditional lower bounds for planning problems | Artikel Article | 2021 |
| 11 | | Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander | Symbolic Time and Space Tradeoffs for Probabilistic Verification | Konferenzbeitrag Inproceedings | 2021 |
| 12 | | Fischl, Wolfgang ; Gottlob, Georg ; Longo, Davide Mario ; Pichler, Reinhard | HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings | Artikel Article | 2021 |
| 13 | | Gulino, Andrea ; Ceri, Stefano ; Gottlob, Georg ; Sallinger, Emanuel ; Bellomarini, Luigi | Distributed Company Control in Company Shareholding Graphs | Konferenzbeitrag Inproceedings | 2021 |
| 14 | | Hamm, Thekla ; Lackner, Martin ; Rapberger, Anna | Computing Kemeny Rankings from d-Euclidean Preferences | Konferenzbeitrag Inproceedings | 2021 |
| 15 | | Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Wallner, Johannes Peter ; Woltran, Stefan | ASPARTIX-V - A Solver for Argumentation Tasks Using ASP | Präsentation Presentation | 2021 |
| 16 | | FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN | Exploiting Database Management Systems and Treewidth for Counting | Artikel Article | 2021 |
| 17 | | Baaz, Matthias ; Lolic, Anela | Towards a proof theory for Henkin quantifiers | Artikel Article | 2021 |
| 18 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Beyond Uniform Equivalence between Answer-set Programs | Artikel Article | 2021 |
| 19 | | Samer, Marko ; Szeider, Stefan | Chapter 17. Fixed-Parameter Tractability | Buchbeitrag Book Contribution | 2021 |
| 20 | | Bellomarini, Luigi ; Galano, Guiseppe ; Nissl, Markus ; Sallinger, Emanuel | Rule-based Blockchain Knowledge Graphs: Declarative {AI} for Solving Industrial Blockchain Challenges | Konferenzbeitrag Inproceedings | 2021 |
