A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

by Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini
Citations:2 - 0 self