925 search results - page 3 / 185 » Connectivity on Complete Lattices |
AI
2000
Springer
13 years 4 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
CLA
2004
13 years 6 months ago
2004
In [4] we have presented a new common platform for different types of fuzzification of a concept lattice. Now we show a pendant of the basic theorem on clasical concept lattices fo...
LICS
1997
IEEE
13 years 8 months ago
1997
IEEE
Fixpoint expressions built from functional signatures interpreted over arbitrary complete lattices are considered. A generic notionof automatonis defined and shown, by means of a ...
DM
2002
13 years 4 months ago
2002
Some recent results provide su cient conditions for complete lattices of closure operators on complete lattices, ordered pointwise, to be pseudocomplemented. This paper gives resu...
DCC
2001
IEEE
14 years 4 months ago
2001
IEEE
The automorphism group of the Barnes-Wall lattice Lm in dimension 2m (m = 3) is a subgroup of index 2 in a certain "Clifford group" Cm of structure 21+2m + .O+ (2m, 2). ...