Dominik Rusovac

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

M.A. 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

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), 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