SAT-Based PAC Learning of Description Logic Concepts.

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

Browse the full IJCAI paper archive.