1544 search results - page 53 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
159
click to vote
DLOG
2008
15 years 8 months ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
170
click to vote
DLOG
2003
15 years 7 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
183
click to vote
DLOG
2009
15 years 4 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
161
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
195
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...