Sciweavers

952 search results - page 4 / 191
» Substructural fuzzy logics
Sort
View
FUZZY
2004
Springer
130views Fuzzy Logic» more  FUZZY 2004»
15 years 7 months ago
Mining Class Hierarchies from XML Data: Representation Techniques
Paolo Ceravolo, Ernesto Damiani
LFCS
2007
Springer
15 years 7 months ago
Density Elimination and Rational Completeness for First-Order Logics
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
Agata Ciabattoni, George Metcalfe
EUSFLAT
2009
165views Fuzzy Logic» more  EUSFLAT 2009»
14 years 11 months ago
Fuzzy Descriptions Logics with Fuzzy Truth Values
Fernando Bobillo, Umberto Straccia