Deductive Module Extraction for Expressive Description Logics.

Patrick Koopmann, Jieying Chen

Browse the full IJCAI paper archive.