Dominik Rusovac

From International Center for Computational Logic

Dominik Rusovac

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Logic Programming and Argumentation
Dominik Rusovac

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

View full publication list

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
View full publication list
NAVAS-logo.png

NAVAS
Navigation Approaches for Answer Sets