2348 search results - page 82 / 470 » A Fuzzy Description Logic |
ISMVL
2010
IEEE
14 years 12 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
CIE
2008
Springer
14 years 12 months ago
2008
Springer
Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex...
IJCSS
2000
14 years 9 months ago
2000
A new control strategy of self-optimization combined with fuzzy logic control for ball mill is proposed in the paper. This new control strategy is implemented in a Thermal Power Pl...
102
click to vote
DLOG
2010
14 years 8 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
EUSFLAT
2009
14 years 7 months ago
2009
The importance of nutritional guidance grows as nutritional problems, such as obesity and type-2 diabetes, are becoming more common. Nutritional guidance is carried out by mapping ...