Hennessy-Milner Theorems via Galois Connections.

Harsh Beohar Sebastian Gurke Barbara König Karla Messing

Published in: CSL (2023)

Keyphrases

formal concept analysis
formal concepts
computer vision
neural network
artificial intelligence
bayesian networks
data analysis
association rules
pairwise
concept lattice
galois lattices