1568 search results - page 3 / 314 » Fusions of Description Logics |
CALCO
2011
Springer
12 years 10 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
DLOG
2007
14 years 1 months ago
2007
CORR
2004
Springer
13 years 10 months ago
2004
Springer
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
CADE
2001
Springer
14 years 11 months ago
2001
Springer
DLOG
2007
14 years 1 months ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...