A note on the core: Minimal conversely consistent enlargement.

Yan-An Hwang Yu-Hsien Liao

Published in: Inf. Sci. (2013)

Keyphrases

unsatisfiable cores
social networks
real time
machine learning
computer vision
knowledge base
pattern recognition
computational complexity
preprocessing
artificial neural networks
control system
consistency constraints
globally consistent