Dominik Rusovac

Orcid: 0000-0002-3172-5827

According to our database1, Dominik Rusovac authored at least 9 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
IASCAR: Incremental Answer Set Counting by Anytime Refinement.
Theory Pract. Log. Program., March, 2024

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence (Experiments).
Dataset, January, 2024

Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
Representative Answer Sets: Collecting Something of Everything.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces.
Proceedings of the Computational Models of Argument, 2022

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
Proceedings of the Computational Models of Argument, 2022

Rushing and Strolling among Answer Sets - Navigation Made Easy.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022


  Loading...