Dominik Rusovac

13 papers A* 3A 2B 2C 2Journal 3
YearRankTypeTitle / Venue / Authors
2025 — —
Answer Set Navigation alongside Quantitative Reasoning.
Dominik Rusovac
2025 A* conf
Interactive Exploration of Plan Spaces.
KR
Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte
2024 J jnl
IASCAR: Incremental Answer Set Counting by Anytime Refinement.
Theory Pract. Log. Program.
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2024 A* conf
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
KR
Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte
2024 A conf
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence.
AAMAS
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
2023 J jnl
IASCAR: Incremental Answer Set Counting by Anytime Refinement.
CoRR
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2023 A conf
Representative Answer Sets: Collecting Something of Everything.
ECAI
Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
2022 C conf
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
COMMA
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022 B conf
IASCAR: Incremental Answer Set Counting by Anytime Refinement.
LPNMR
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
2022 C conf
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.
COMMA
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
2022 B conf
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.
LPNMR
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022 A* conf
Rushing and Strolling among Answer Sets - Navigation Made Easy.
AAAI
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
2021 J jnl
Rushing and Strolling among Answer Sets - Navigation Made Easy.
CoRR
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac