SAT-based PAC Learning of Description Logic Concepts (Extended Abstract)

Download PDF

Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

Published: 01 Jan 2023, Last Modified: 22 Jul 2025Description Logics 2023EveryoneRevisionsBibTeXCC BY-SA 4.0