Back to Results
First PageMeta Content



A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results Tommaso Di Noia (1), Eugenio Di Sciascio (1), Francesco M. DoniniSisInfLab, Politecnico di Bari, Bari, Italy (2) Univ
Add to Reading List

Document Date: 2009-07-07 04:46:34


Open Document

File Size: 204,67 KB

Share Result on Facebook