Dominik Rusovac
Aus International Center for Computational Logic
Dominik Rusovac
Wissenschaftlicher Mitarbeiter Logische Programmierung und Argumentation
- dominik.rusovac@tu-dresden.de
- +49 351 463 37920
- APB 2017
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
NAVAS
Navigation im Lösungsraum von Answer Sets
