Weak Completion Theory for Non-Horn Programs.

Jorge Lobo Jack Minker Arcot Rajasekar

Published in: ICLP/SLP (1988)

Keyphrases

horn theories
data sets
artificial intelligence
np hard
theoretical basis
general theory
genetic algorithm
computer vision
multiscale
search algorithm
computational model
theoretical framework