Dominik Rusovac

Dominik Rusovac is a Research Associate at Technische Universität Dresden's International Center for Computational Logic within the Faculty of Computer Science. His research focuses on answer set programming, knowledge representation, and computational logic, particularly developing methods for efficient navigation and querying of solution spaces in logical systems.

Core research investigates computational complexity of answer set navigation, incremental counting algorithms, and visual tools for exploring argumentation frameworks. Recent work includes IASCAR for anytime refinement in answer set counting and NEXAS for visualization of argument solution spaces.

Publications demonstrate specialization in binary decision diagram applications for abstract dialectical frameworks, complexity analysis of logic-based queries, and extensions to quantitative reasoning paradigms. Collaborations extend to multi-agent systems and social choice theory applications.

Joined the NAVAS project in 2021, developing novel approaches for answer set navigation. Contributes to open-source tools like ADF-BDD solver and maintains active research in logical reasoning under uncertainty and dependence.