| Rushing and strolling among answer sets–navigation made easy JK Fichte, SA Gaggl, D Rusovac Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5651-5659, 2022 | 11 | 2022 |
| NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces F Toni Computational Models of Argument: Proceedings of COMMA 2022 353, 116, 2022 | | 2022 |
| IASCAR: Incremental Answer Set Counting by Anytime Refinement JK Fichte, SA Gaggl, M Hecher, D Rusovac Logic Programming and Nonmonotonic Reasoning: 16th International Conference …, 2022 | | 2022 |
| Representing Abstract Dialectical Frameworks with Binary Decision Diagrams S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner Logic Programming and Nonmonotonic Reasoning: 16th International Conference …, 2022 | | 2022 |
| ADF-BDD: An ADF Solver Based on Binary Decision Diagrams S Ellmauthaler, SA Gaggl, D Rusovac, JP WALLNER 9th International Conference on Computational Models of Argument: COMMA 2022, 2022 | | 2022 |
| Preliminary Evaluation Data for adf-bdd v 0.2. 4-beta. 1 S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner | | 2022 |
| Representing Abstract Dialectical Frameworks with Binary Decision Diagrams D Rusovac, P Johannes | | |
