Two Extensions of FOL Horn Clauses Comparison to Interpreted Predicates.

Stefano Ferilli Teresa Maria Altomare Basile Floriana Esposito

Published in: CILC (2012)

Keyphrases

horn clauses
first order logic
inference rules
logic programs
inductive logic programming
conceptual clustering
function symbols
theorem proving
lattice theory
database queries
background knowledge
databases
high level
query processing
low level
knowledge representation