Extending Horn Clause Logic with Implication Goals.

Laura Giordano Alberto Martelli Gianfranco Rossi

Published in: Theor. Comput. Sci. (1992)

Keyphrases

horn clause logic
data sets
representation language
databases
logic programming
background knowledge
data mining
genetic algorithm
artificial intelligence
relational databases
domain knowledge