How Well Are Non-Horn Clauses Handled?

Published in: ISMIS (1991)

Keyphrases

horn clauses
first order logic
logic programs
inductive logic programming
conceptual clustering
inference rules
lattice theory
database queries
function symbols