Elisa Böhl wechselt zum NAVAS-Projekt
Aus International Center for Computational Logic
Neuigkeit aus der Forschungsgruppe Logische Programmierung und Argumentation vom 1. November 2020
Elisa Böhl wechselt zum NAVAS-Projekt
Seit November 2020 heißen wir Elisa Böhl im BMBF geförderten NAVAS Projekt in der Arbeitsgruppe Logische Programmierung und Argumentation willkommen. Die Nachwuchsgruppe wird von Sarah Gaggl geleitet und befasst sich mit der Thematik von Strategien zur Navigation im Lösungsraum von ASP-Lösungsmengen. Zuvor war Elisa Böhl in der Arbeitsgruppe Computational Logic von Sebastian Rudolph tätig.
