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
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 89-102, August 2022. Springer International Publishing
Details Download
Komplette Publikationsliste anzeigen
NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets