Contact Relation Algebras
Ivo Düntsch · Studies in fuzziness and soft computing · 2001
Contact relation algebras (CRAs), introduced in [25], arise from the study of “part—of” and “contact” relations rooted in mereology and have applications, for example, in qualitative spatial reasoning. We give an overview of the origins of CRAs and numerous examples.