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, 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
