Normalisation by Completeness with Heyting Algebras.

Gaëtan Gilbert Olivier Hermant

Published in: LPAR (2015)

Keyphrases

set theory
distributive lattices
spatial reasoning
multiscale
neural network
boolean algebra
data quality
relational databases
expert systems
mobile robot
information retrieval systems
multi agent
similarity measure
decision trees
genetic algorithm
formal proofs
relation algebra
data sets