KI Nachwuchsgruppe für Sarah Gaggl

Sarah Gaggl konnte sich bei der BMBF Ausschreibung zur Förderung von KI-Nachwuchswissenschaftlerinnnen durchsetzten. Sie wird im Oktober 2020 die neue Forschungsgruppe Logische Programmierung und Argumentation am Institut für Künstliche Intelligenz aufbauen und für 4 Jahre leiten. Im Projekt NAVAS - Navigation im Lösungsraum von Answer Sets werden neuartige Strategien zur interaktiven und transparenten Navigation in ASP-Lösungsräumen erforscht. Durch die in NAVAS erzielten Erkenntnisse, Entwicklungen und Implementierungen soll ASP-Technologie auch für eine breitere Masse zugänglicher werden.