673 search results - page 1 / 135 » Approximate coherence-based reasoning |
ECSQARU
2001
Springer
15 years 1 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
15 years 1 months ago
1997
Springer
ATAL
2007
Springer
15 years 3 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...
102
click to vote
DLOG
2009
14 years 7 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...