1916 search results - page 104 / 384 » Reasoning with class algebra |
157
click to vote
DLOG
2009
15 years 1 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
126
Voted
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
162
click to vote
ICIW
2008
IEEE
15 years 10 months ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
165
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
170
click to vote
TARK
1992
Springer
15 years 8 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...