1835 search results - page 25 / 367 » Classifying Description Logics |
90
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
100
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
138
Voted
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are in...
117
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
105
click to vote
ER
1999
Springer
15 years 6 months ago
1999
Springer
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...