Rushing and Strolling among Answer Sets - Navigation Made Easy. - Johannes Klaus Fichte; Sarah Alice Gaggl; Dominik Rusovac (AAAI, 2022)

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. - Stefan Ellmauthaler; Sarah Alice Gaggl; Dominik Rusovac; Johannes Peter Wallner (COMMA, 2022)

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. - Raimund Dachselt; Sarah Alice Gaggl; Markus Krötzsch; Julián Méndez 001; Dominik Rusovac; Mei Yang (COMMA, 2022)

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. - Stefan Ellmauthaler; Sarah Alice Gaggl; Dominik Rusovac; Johannes Peter Wallner (LPNMR, 2022)

Representative Answer Sets: Collecting Something of Everything. - Elisa Böhl; Sarah Alice Gaggl; Dominik Rusovac (ECAI, 2023)

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence. - Jonas Karge; Juliette-Michelle Burkhardt; Sebastian Rudolph; Dominik Rusovac (AAMAS, 2024)

Navigating and Querying Answer Sets: How Hard Is It Really and Why? - Dominik Rusovac; Markus Hecher; Martin Gebser; Sarah Alice Gaggl; Johannes Klaus Fichte (KR, 2024)

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence (Experiments). - Jonas Karge; Juliette-Michelle Burkhardt; Sebastian Rudolph; Dominik Rusovac (Zenodo, 2024)

IASCAR: Incremental Answer Set Counting by Anytime Refinement. - Johannes Klaus Fichte; Sarah Alice Gaggl; Markus Hecher; Dominik Rusovac (Theory Pract. Log. Program., 2024)