To content
Department of Com­pu­ter Science

Distinguished Paper at IJCAI 2023

[Translate to English:] © [Translate to English:]
[Translate to English:]

The paper "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University), Jean Christoph Jung (TU Dortmund University) and Carsten Lutz (Leipzig University) received a Distinguished Paper Award at the32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) — one of the premier forums for foundations of artificial intelligence, see

An interview with Maurice Funk about the article is available at AIhub:

The full version of the paper is available on arxiv:

The presented tool SPELL is freely available as well: