Formal $\mathcal{F}$ -contexts and Their Induced Implication Rule Systems.

Lankun Guo Qingguo Li Petko Valtchev Robert Godin

Published in: ICFCA (2013)

Keyphrases

building blocks
learning systems
case study
hidden markov models
distributed systems
computing systems
formal methods
database
machine learning
learning algorithm
artificial intelligence
mobile devices
integrity constraints