Elisa Böhl
From International Center for Computational Logic
Dipl.-Inf. Elisa Böhl
Research Associate Knowledge-Based Systems
- elisa.boehl@tu-dresden.de
- +49 351 463 42666
- APB 3032
Since November 2024 I'm part of the CPEC-Team in the Knowledge-Based Systems group. My topic covers Answer Set Programming, and I'm specialized in diverse Answer Sets and Multi-Shot ASP.
After finishing my Diploma in Computer Science in Dresden I worked on a variety of different research groups on different topics
- Nanomechanics from Erik Schäffer: Software around optical tweezers; Simulation around motor proteins
- HTW Dresden: minimalistic hmm-based embedded speech recognizer
- Neurochirurgie/Klinisches Sensoring and Monitoring at Universitätsklinikum Carl Gustav Carus Dresden: Thermal imaging for brain surgery, focus on strokes and cancer.
- Starting Oktober 2019 I have worked in the group Computational Logic from Sebastian Rudolph.
- In October 2020 I joined the NAVAS Project from the group Logische Programmierung und Argumentation from Sarah Alice Gaggl.
Newest Publications
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download
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
NAVAS
Navigation Approaches for Answer Sets
