Elisa Böhl

Dipl.-Inf. Elisa Böhl

Wissenschaftliche MitarbeiterinTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Wissensbasierte Systeme

•   elisa.boehl@tu-dresden.de
•   +49 351 463 42666
•   APB 3032

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.
  
  

• Publikationen
• Lehre

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

Komplette Publikationsliste anzeigen