Inductive Learning of Disjointness Axioms.

Daniel Fleischhacker Johanna Völker

Published in: OTM Conferences (2) (2011)

Keyphrases

inductive learning
knowledge acquisition
knowledge base
machine learning
meta learning
explanation based learning
first order logic
lazy learning
feature generation
domain theory
inductive logic programming
consistency checking
concept descriptions
real world
high level
data sets
knn
rule learning
metadata