Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms

Yi-Dong Shen Jia-Huai You Li-Yan Yuan

Published in: CoRR (2005)

Keyphrases

data sets
logic programming
consequence finding
global information
building blocks
high resolution
decision trees
mechanism design
logic programs
bayesian networks
information systems
computer vision
social networks
genetic algorithm
information retrieval
real world
databases