Galois correspondence for counting quantifiers

Andrei A. Bulatov Amir Hedayaty

Published in: CoRR (2012)

Keyphrases

first order logic
point correspondences
decision making
website
natural language
formal concepts
data sets
feature selection
decision trees
multi view