Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations.

Jean H. Gallier

Published in: J. Symb. Comput. (1987)

Keyphrases

horn clauses
learning algorithm
inference rules
machine learning
high level
lower bound
domain knowledge
logic programs
orders of magnitude