Tractable Inference Systems: An Extension with a Deducibility Predicate.

Hubert Comon-Lundh Véronique Cortier Guillaume Scerri

Published in: CADE (2013)

Keyphrases

complex systems
digital libraries
management system
building blocks
first order logic
database
data sets
data mining
decision making
computational complexity
intelligent systems
learning systems
retrieval systems
bayesian inference