|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Ganian, Robert ; Szeider, Stefan | New width parameters for SAT and #SAT | Artikel Article  | 2021 |
| 42 | | Baumann, Ringo ; Dvořák, Wolfgang ; Linsbichler, Thomas ; Spanring, Christof ; Strass, Hannes ; Woltran, Stefan | On rejected arguments and implicit conflicts: The hidden power of argumentation semantics | Artikel Article | 2016 |
| 43 | | Thimm, Matthias ; Wallner, Johannes | On the complexity of inconsistency measurement | Article Artikel   | Oct-2019 |
| 44 | | Gonçalves, Ricardo ; Knorr, Matthias ; Leite, João ; Woltran, Stefan | On the limits of forgetting in Answer Set Programming | Artikel Article | 2020 |
| 45 | | Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | Parameterized complexity of envy-free resource allocation in social networks | Article Artikel | Feb-2023 |
| 46 | | Dunne, Paul E. ; Dvořák, Wolfgang ; Woltran, Stefan | Parametric Properties of Ideal Semantics | Artikel Article | 2013 |
| 47 | | Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas | Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog | Artikel Article | 2020 |
| 48 | | Kocijan, Vid ; Jang, Myeongjun ; Lukasiewicz, Thomas | Pre-training and diagnosing knowledge base completion models | Article Artikel | Apr-2024 |
| 49 | | Peters, Dominik ; Lackner, Martin | Preferences Single-Peaked on a Circle | Artikel Article | 24-Jun-2020 |
| 50 | | Eiter, Thomas ; Kaminski, Tobias | Pruning external minimality checking for answer set programs using semantic dependencies | Artikel Article | 2021 |
| 51 | | Sha, Lei ; Camburu, Oana-Maria ; Lukasiewicz, Thomas | Rationalizing predictions by adversarial information calibration | Article Artikel | Feb-2023 |
| 52 | | Brewka, Gerhard ; Ellmauthaler, Stefan ; Gonçalves, Ricardo ; Knorr, Matthias ; Leite, João ; Pührer, Jörg | Reactive multi-context systems: Heterogeneous reasoning in dynamic environments | Artikel Article | Mar-2018 |
| 53 | | Eiter, Thomas ; Wang, Kewen | Semantic Forgetting in Answer Set Programming | Artikel Article | 2008 |
| 54 | | Amendola, Giovanni ; Eiter, Thomas ; Fink, Michael ; Leone, Nicola ; Moura, Joao | Semi-equilibrium models for paracoherent answer set programs | Artikel Article | 2016 |
| 55 | | Fichte, Johannes Klaus ; Hecher, Markus ; Morak, Michael ; Thier, Christopher-Patrick ; Woltran, Stefan | Solving Projected Model Counting by Utilizing Treewidth and its Limits | Article Artikel | Jan-2023 |
| 56 | | Ganian, Robert ; Ordyniak, Sebastian | The Complexity Landscape of Decompositional Parameters for ILP | Artikel Article | 2018 |
| 57 | | Dvořák, Pavel ; Eiben, Eduard ; Ganian, Robert ; Knop, Dušan ; Ordyniak, Sebastian | The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraints | Artikel Article | 2021 |
| 58 | | Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan | The Impact of Treewidth on Grounding and Solving of Answer Set Programs | Artikel Article | 2020 |
| 59 | | Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen | The QBF Gallery: Behind the Scenes | Artikel Article | 2016 |
| 60 | | Dvořák, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan | Towards fixed-parameter tractable algorithms for abstract argumentation | Artikel Article | 2012 |
