A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
by
Tommaso Di Noia
,
Eugenio Di Sciascio
,
Francesco M. Donini
| Citations: | 1 - 0 self |
BibTeX
@MISC{Noia_atableaux-based,
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},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abduction [12] is a well-known form of common-sense reasoning that has been widely exploited in Artificial Intelligence applications, including formalization of Diagnostic Reasoning [13] and Scene Interpretation [14]. Abduction has been also proposed as a logical tool for formalizing hypothetical reasoning in E-Commerce [7], Negotiation
