A tableaux-based calculus for abduction in expressive description logics: Preliminary results (2009)

by Tommaso Di Noia, Eugenio Di Sciascio, Francesco M Donini
Venue:Description Logics, volume 477 of CEUR Workshop Proceedings. CEURWS.org