C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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