Heyting algebras with indiscernibility relations.
Tommaso FlaminioBrunella GerlaFrancesco MarigoPublished in: FUZZ-IEEE (2015)
Keyphrases
- topological spaces
- equivalence relation
- relation algebra
- rough sets
- set theory
- rough set theory
- semantic relations
- neural network
- artificial intelligence
- interval algebra
- temporal reasoning
- approximation spaces
- clifford algebra
- real time
- maximal tractable
- spatial reasoning
- spatial relations
- image analysis
- bayesian networks
- information systems
- real world