673 search results - page 1 / 135 » Approximate coherence-based reasoning |
ECSQARU
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
ECSQARU
1997
Springer
13 years 9 months ago
1997
Springer
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
SIAMCOMP
2012
11 years 7 months ago
2012
DLOG
2009
13 years 2 months ago
2009
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...