Dominik Rusovac
From International Center for Computational Logic
Dominik Rusovac
Research Associate Logic Programming and Argumentation
- dominik.rusovac@tu-dresden.de
- +49 351 463 37920
- APB 2017
I joined the BMBF funded project NAVAS - Navigation Approaches for Answer Sets as part of my doctoral studies and as a member of the research group Logic Programming and Argumentation in January 2021.
Newest Publications
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Technical Report, arXiv.org, volume CoRR abs/2112.07596, December 2021
Details Download
NAVAS
Navigation Approaches for Answer Sets
