Inference From Non-Horn Clauses With Partial Predicates.

Alexander Sakharov

Published in: ICTCS (2021)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
conceptual clustering
inductive logic programming
database queries
inference process
function symbols
lattice theory
bayesian networks
general purpose
logic programming
decision trees