A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
22nd International Workshop on Description Logics (DL 2009) - -2009Authors
Di Noia Tommaso,
Di Sciascio Eugenio,
Donini Francesco M. Download: Di_Noia_et_al_dl_09.pdfDOI
https://doi.org/10.1007/978-3-662-49224-6_19BibTex references
@InProceedings{DDD09,
author = "Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M.",
title = "A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results",
booktitle = "22nd International Workshop on Description Logics (DL 2009)",
series = "CEUR Workshop Proceedings",
volume = "477",
year = "2009",
url = "http://sisinflab.poliba.it/Publications/2009/DDD09"
}