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 | 17 | 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 | 7 | 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 |
Representative answer sets: Collecting something of everything E Böhl, SA Gaggl, D Rusovac Proceedings of the 26th European Conference on Artificial Intelligence (ECAI …, 2023 | 1 | 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 | 1 | 2022 |
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner COMMA, 355-356, 2022 | 1 | 2022 |
Preliminary Evaluation Data for adf-bdd v 0.2. 4-beta. 1 S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner | | 2022 |
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence J Karge, JM Burkhardt, S Rudolph, D Rusovac | | |
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams D Rusovac, P Johannes | | |