Sciweavers

1835 search results - page 23 / 367
» Classifying Description Logics
Sort
View
119
Voted
IJCAI
2003
15 years 3 months ago
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
Stefan Schlobach, Ronald Cornet
FUZZIEEE
2007
IEEE
15 years 5 months ago
Ensembles of Fuzzy Classifiers
The use of bagging is explored to create an ensemble of fuzzy classifiers. The learning algorithm used was ANFIS (Adaptive Neuro-Fuzzy Inference Systems). We compare results from b...
Juana Canul-Reich, Larry Shoemaker, Lawrence O. Ha...
109
Voted
KR
1998
Springer
15 years 6 months ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
106
Voted
ECAI
2006
Springer
15 years 5 months ago
Elaborating Domain Descriptions
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
Andreas Herzig, Laurent Perrussel, Ivan José...
CSL
2008
Springer
15 years 3 months ago
The Descriptive Complexity of Parity Games
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
Anuj Dawar, Erich Grädel