Galois Correspondence for Counting Quantifiers.

Andrei A. Bulatov Amir Hedayaty

Published in: J. Multiple Valued Log. Soft Comput. (2015)

Keyphrases

formal concepts
evolutionary algorithm
formal concept analysis
artificial intelligence
case study
first order logic
database
databases
image processing
multiscale
expert systems
point correspondences