Computing Minimal Generators from Implications: a Logic-guided Approach.

Pablo Cordero Manuel Enciso Angel Mora Manuel Ojeda-Aciego

Published in: CLA (2012)

Keyphrases

classical logic
machine learning
case study
modal logic
real world
data mining
probabilistic model
multi valued
computational properties