96 search results - page 2 / 20 » Default ARTMAP 2 |
NN
2002
Springer
13 years 4 months ago
2002
Springer
In this paper we introduce novel geometric concepts, namely category regions, in the original framework of Fuzzy-ART (FA) and FuzzyARTMAP (FAM). The definitions of these regions a...
SAT
2009
Springer
13 years 11 months ago
2009
Springer
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...
AIME
2011
Springer
12 years 5 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
IJCAI
2003
13 years 6 months ago
2003
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
NMR
2004
Springer
13 years 10 months ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.