Iterative Specialisation of Horn Clauses.

Christoffer Rosenkilde Nielsen Flemming Nielson Hanne Riis Nielson

Published in: ESOP (2008)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
inductive logic programming
lattice theory
database queries
conceptual clustering
function symbols
machine learning
database
knowledge base
np complete