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

First Page		Document Content
Date: 2009-07-07 04:46:34		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 Source URL: ceur-ws.org Download Document from Source Website File Size: 204,67 KB Share Document on Facebook