Elisa Böhl
Aus International Center for Computational Logic
Dipl.-Inf. Elisa Böhl
Wissenschaftliche Mitarbeiterin Logische Programmierung und Argumentation
- elisa.boehl@tu-dresden.de
- +49 351 463 42666
- APB 2017
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
- Nach meinem Informatik-Diplom (TU Dresden) habe ich in der Arbeitsgruppe Nanomechanics von Erik Schäffer die Software rund um optische Pinzetten mitgestaltet.
- Darauf folgend habe ich in Kooperation mit der HTW Dresden an HMM-basierenden Spracherkennern mit minimalen Hardwareanforderungen gearbeitet.
- Danach habe ich in der Arbeitsgruppe Klinisches Sensoring and Monitoring am Universitätsklinikum Carl Gustav Carus Dresden Softwarelösungen für die Durchführung und Auswertung von Thermographieaufnahmen in der Neurochirurgie entwickelt.
- Seit 2019 war ich in der Gruppe Computational Logic von Sebastian Rudolph tätig und bin 2020 in die Arbeitsgruppe Logische Programmierung und Argumentation von Sarah Alice Gaggl gewechselt.
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
NAVAS
Navigation im Lösungsraum von Answer Sets
