To content

Distinguished Paper on IJCAI 2023

-
in
  • Forschung
Foto zeigt Prof. Jung © @Jean Christoph Jung
Prof. Jung

Prof. Jung receives Distinguished Paper Award for the paper "SAT-Based Learning of Description Logic Concepts".

The paper "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (University of Leipzig), Jean Christoph Jung (TU Dortmund) and Carsten Lutz (University of Leipzig) was awarded a Distinguished Paper Award at the 32nd International Joint Conference on Artificial Intelligence ( IJCAI 2023) - one of the top conferences on the foundations of artificial intelligence, see: https: //ijcai-23.org/distinguished-paper-awards/

The full version is available at Arxiv: https: //arxiv.org/abs/2305.08511

The SPELL tool presented in the paper is freely available: https: //github.com/spell-system/SPELL