Signature-Based Abduction for Expressive Description Logics.

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt

Browse the full KR paper archive.