1537 search results - page 269 / 308 » On sets not belonging to algebras |
AI
2008
Springer
13 years 9 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
APAL
2008
13 years 9 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...
ENTCS
2008
13 years 9 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
CCE
2006
13 years 9 months ago
2006
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...