Distinguished Paper at IJCAI 2023

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 https://ijcai-23.org/distinguished-paper-awards/.

An interview with Maurice Funk about the article is available at AIhub: https://aihub.org/2023/10/26/ijcai2023-distinguished-paper-interview-with-maurice-funk-knowledge-bases-and-querying/.

The full version of the paper is available on arxiv: https://arxiv.org/abs/2305.08511

The presented tool SPELL is freely available as well: https://github.com/spell-system/SPELL

Back