Flatness of the Energy Landscape for Horn Clauses

Saratha Sathasivam Wan Ahmad Tajuddin Wan Abdullah

Published in: CoRR (2008)

Keyphrases

horn clauses
energy landscape
first order logic
logic programs
simulated annealing
coarse grained
conceptual clustering
inference rules
inductive logic programming
database queries
fine grained
energy function
function symbols
databases
artificial intelligence
knowledge representation