Elisa Böhl
From International Center for Computational Logic
Dipl.-Inf. Elisa Böhl
Research Associate Logic Programming and Argumentation
- elisa.boehl@tu-dresden.de
- +49 351 463 42666
- APB 2017
I'm the new member in the NAVAS Project from the group Logische Programmierung und Argumentation from Sarah Alice Gaggl
After finishing my Diploma in Computer Science in Dresden I worked on a viarety of different research groups on different topics
- Nanomechanics from Erik Schäffer: Software around optical tweezers
- HTW Dresden: minimalistic hmm-based speech recognizer
- Neurochirurgie/Klinisches Sensoring and Monitoring at Universitätsklinikum Carl Gustav Carus Dresden: Thermal imaging
- Starting 2019 I have worked in the group Computational Logic from Sebastian Rudolph and switched 2020 into 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
