| 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 | 22 | 2022 |
| Nexas: A visual tool for navigating and exploring argumentation solution spaces R Dachselt, SA Gaggl, M Krötzsch, J Méndez, D Rusovac, M Yang Computational Models of Argument, 116-127, 2022 | 9 | 2022 |
| ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner COMMA, 355-356, 2022 | 3 | 2022 |
| Representative answer sets: Collecting something of everything E Böhl, SA Gaggl, D Rusovac ECAI 2023, 271-278, 2023 | 2 | 2023 |
| IASCAR: Incremental answer set counting by anytime refinement JK Fichte, SA Gaggl, M Hecher, D Rusovac International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 2 | 2022 |
| Representing abstract dialectical frameworks with binary decision diagrams S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 2 | 2022 |
| To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence J Karge, JM Burkhardt, S Rudolph, D Rusovac Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | 1 | 2024 |
| Navigating and Querying Answer Sets: How Hard Is It Really and Why? D Rusovac, M Hecher, M Gebser, SA Gaggl, JK Fichte KR 2024, 2024 | | 2024 |
| 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 | | |
