Elisa Böhl

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

Dipl.-Inf. Elisa Böhl

Wissenschaftliche MitarbeiterinTechnische Universität DresdenInternational Center for Computational Logic Logische Programmierung und Argumentation
Elisa Böhl

Ich arbeite seit Oktober 2020 im BMBF geförderten Projekt NAVAS - Navigation im Lösungsraum von Answer Sets der Arbeitsgruppe Logische Programmierung und Argumentation Gruppe von Sarah Alice Gaggl

Neueste Publikationen

Komplette Publikationsliste anzeigen

Elisa Böhl, Sarah Alice Gaggl
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Komplette Publikationsliste anzeigen
NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets