|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan | Parameterized complexity of abstract argumentation with collective attacks | Article Artikel  | 2025 |
| 2 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | Satisfiability Modulo User Propagators | Article Artikel | 27-Dec-2024 |
| 3 | | Bernreiter, Michael ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View | Article Artikel | 23-Sep-2024 |
| 4 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Constrained Derivation in Assumption-Based Argumentation | Inproceedings Konferenzbeitrag | 17-Apr-2024 |
| 5 | | Dimopoulos, Yannis ; Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus ; Woltran, Stefan | Redefining ABA+ semantics via abstract set-to-set attacks | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 6 | | Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan | Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks | Article Artikel | 10-Jan-2024 |
| 7 | | Xia, Hai ; Szeider, Stefan | SAT-Based Tree Decomposition with Iterative Cascading Policy Selection | Inproceedings Konferenzbeitrag | 2024 |
| 8 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; König, Matthias ; Woltran, Stefan | Splitting Argumentation Frameworks with Collective Attacks | Inproceedings Konferenzbeitrag | 2024 |
| 9 | | Buraglio, Giovanni ; Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus | Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes | Inproceedings Konferenzbeitrag | 2024 |
| 10 | | Blümel, Lydia ; König, Matthias ; Ulbricht, Markus | Weak Admissibility for ABA via Abstract Set-Attacks | Inproceedings Konferenzbeitrag | 2024 |
| 11 | | Dimopoulos, Yannis ; Dvorak, Wolfgang ; König, Matthias | Connecting Abstract Argumentation and Boolean Networks | Inproceedings Konferenzbeitrag | 2024 |
| 12 | | Caminada Martin ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus | Attack semantics and collective attacks revisited | Article Artikel | 2024 |
| 13 | | Dvořák, Wolfgang ; Gressler, Alexander ; Woltran, Stefan | Equipping Abstract Argumentation Solvers for Verifying Negative Results | Inproceedings Konferenzbeitrag | 2024 |
| 14 | | Saribatur, Zeynep G. ; Woltran, Stefan | A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming | Inproceedings Konferenzbeitrag | 2024 |
| 15 | | Greßler, Alexander ; Dvořák, Wolfgang ; Woltran, Stefan | The GSAF Solver and Verifier | Inproceedings Konferenzbeitrag | 2024 |
| 16 | | Beiser, Alexander ; Hecher, Markus ; Unalan, Kaan ; Woltran, Stefan | Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting | Inproceedings Konferenzbeitrag | 2024 |
| 17 |  | Schidler, Andre ; Szeider, Stefan | SAT-boosted tabu search for coloring massive graphs | Article Artikel   | Dec-2023 |
| 18 |  | Schidler, André ; Szeider, Stefan | Computing optimal hypertree decompositions with SAT | Article Artikel | Dec-2023 |
| 19 |  | Buraglio, Giovanni ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Constrained Derivation in Assumption-Based Argumentation | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 20 |  | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness | Article Artikel | Nov-2023 |
