Predicate Completion for non-Horn Clause Sets.

Matthias Horbach

Published in: CADE (2011)

Keyphrases

horn clauses
first order logic
inference rules
logic programs
inductive logic programming
database queries
multi agent systems
data mining
high level
learning algorithm
general purpose
fault models