Sign in
Guarded Horn Clauses.
Kazunori Ueda
Published in:
LP (1985)
Keyphrases
</>
horn clauses
first order logic
logic programs
inference rules
inductive logic programming
conceptual clustering
database queries
function symbols
lattice theory
bayesian networks
learning algorithm
decision trees
query processing
general purpose