Elisa Böhl switches to NAVAS
From International Center for Computational Logic
News from the research group Logic Programming and Argumentation of November 1, 2020
Elisa Böhl switches to NAVAS
Since November 2020 we welcome Elisa Böhl to the NAVAS Project within the Logic Programming and Argumentation group. The Young Investigator Group from Sarah Gaggl works on the topic of novel navigation strategies through the ASP solution space. Elisa is a former member of the group Computational Logic from Sebastian Rudolph.
