A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04) - -2004Authors
Colucci Simona,
Di Noia Tommaso,
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello MarinaDOI
https://doi.org/10.1016/j.elerap.2005.06.004BibTex references
@InProceedings{CDDDM04,
author = "Colucci, Simona and Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina",
title = "A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics",
booktitle = "Proceedings of the 16th European Conference on Artificial Intelligence (ECAI '04)",
pages = "975--976",
year = "2004",
publisher = "IOS Press",
url = "http://sisinflab.poliba.it/Publications/2004/CDDDM04"
}