Login / Signup
Dominik Rusovac
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 9
Top Topics
Answer Sets
Top Venues
CoRR
COMMA
LPNMR
AAMAS
</>
Publications
</>
Jonas Karge
,
Juliette-Michelle Burkhardt
,
Sebastian Rudolph
,
Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence.
AAMAS
(2024)
Elisa Böhl
,
Sarah Alice Gaggl
,
Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything.
ECAI
(2023)
Johannes Klaus Fichte
,
Sarah Alice Gaggl
,
Markus Hecher
,
Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement.
CoRR
(2023)
Stefan Ellmauthaler
,
Sarah Alice Gaggl
,
Dominik Rusovac
,
Johannes Peter Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.
LPNMR
(2022)
Johannes Klaus Fichte
,
Sarah Alice Gaggl
,
Markus Hecher
,
Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement.
LPNMR
(2022)
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.
COMMA
(2022)
Johannes Klaus Fichte
,
Sarah Alice Gaggl
,
Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy.
AAAI
(2022)
Stefan Ellmauthaler
,
Sarah Alice Gaggl
,
Dominik Rusovac
,
Johannes Peter Wallner
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
COMMA
(2022)
Johannes Klaus Fichte
,
Sarah Alice Gaggl
,
Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy.
CoRR
(2021)