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.

NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets