Sciweavers

1486 search results - page 72 / 298
» Mathematical Fuzzy Logics
Sort
View
VLDB
2005
ACM
121views Database» more  VLDB 2005»
15 years 10 months ago
Using a Fuzzy Classification Query Language for Customer Relationship Management
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
Andreas Meier, Nicolas Werro, Martin Albrecht, Mil...
EUSFLAT
2001
119views Fuzzy Logic» more  EUSFLAT 2001»
15 years 5 months ago
Divisible MV-algebras as an algebraic model for fuzzy control
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
Brunella Gerla
KGC
1993
Springer
15 years 8 months ago
The Mathematics of Set Predicates in Prolog
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
Egon Börger, Dean Rosenzweig
ICFP
2012
ACM
13 years 6 months ago
Propositions as sessions
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
Philip Wadler
FSS
2008
147views more  FSS 2008»
15 years 4 months ago
A general framework for fuzzy morphological associative memories
Fuzzy associative memories (FAMs) can be used as a powerful tool for implementing fuzzy rule-based systems. The insight that FAMs are closely related to mathematical morphology (M...
Marcos Eduardo Valle, Peter Sussner