A Horn Clause that Implies and Undecidable Set of Horn Clauses.

Jerzy Marcinkowski

Published in: CSL (1993)

Keyphrases

horn clauses
first order logic
inference rules
logic programs
conceptual clustering
inductive logic programming
database queries
lattice theory
function symbols
np complete
databases
graphical models
sufficient conditions
background knowledge