Dominik Rusovac

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dominik Rusovac

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Logische Programmierung und Argumentation
Dominik Rusovac

Seit Januar 2021 arbeite ich im Rahmen meines Doktorats als Teil der Arbeitsgruppe Logische Programmierung und Argumentation von Sarah Alice Gaggl im BMBF geförderten Projekt NAVAS - Navigation im Lösungsraum von Answer Sets.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), volume 36 of 5, 5651-5659, June 2022
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract)
KR Recently Published Research Track (KR 2022), August 2022
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)
Technical Communication Proceeding of the 38th International Conference on Logic Programming (ICLP 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
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
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Technical Report, arXiv.org, volume CoRR abs/2112.07596, December 2021
Details Download
Komplette Publikationsliste anzeigen
NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets

Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen