Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling.

Hiroshi Unno Tachio Terauchi

Published in: TACAS (2015)

Keyphrases

horn clauses
first order logic
database
data sets
logic programs
sample size
random sampling
conceptual clustering
domain knowledge
inference rules