Smallest Horn Clause Programs.

Philippe Devienne Patrick Lebègue Anne Parrain Jean-Christophe Routier Jörg Würtz

Published in: J. Log. Program. (1996)

Keyphrases

horn clauses
fixpoint
logic programs
inference rules
first order logic
inductive logic programming
database queries
answer sets
computer programs
database
neural network