952 search results - page 50 / 191 » Substructural fuzzy logics |
109
Voted
DLOG
2006
15 years 3 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
98
Voted
ISCAS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...
156
Voted
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
111
click to vote
FSKD
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-kno...
110
Voted
SLOGICA
2008
15 years 1 months ago
2008
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...