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

22nd International Workshop on Description Logics (DL 2009), Volume 477 - 2009
Download the publication : Di_Noia_et_al_dl_09.pdf [209Ko]  

BibTex references


@InProceedings{DDD09,
author = {Tommaso {Di Noia} and Eugenio {Di Sciascio} and Francesco M. Donini},
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://www-ictserv.poliba.it/publications/2009/DDD
09"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy