Elisa Böhl
Aus International Center for Computational Logic
Dipl.-Inf. Elisa Böhl
Wissenschaftliche Mitarbeiterin Wissensbasierte Systeme
- elisa.boehl@tu-dresden.de
- +49 351 463 42666
- APB 3032
Seit November 2024 bin ich Teil des CPEC-Teams in der Arbeitsgruppe Wissensbasierte Systeme. Meine Themen sind Answer Set Programming, mit Spezialisierung auf diverse Answer Sets und Multi-Shot ASP.
- 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.
- Im Oktober 2020 bin ich in das BMBF geförderten Projekt NAVAS - Navigation im Lösungsraum von Answer Sets der Arbeitsgruppe Logische Programmierung und Argumentation Gruppe von Sarah Alice Gaggl gewechselt.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Theory and Practice of Logic Programming, 24(4):772-789, July 2024
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details
Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds., Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 271--278, September 2023. IOS Press
Details Download
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
