On Solving Universally Quantified Horn Clauses.

Nikolaj Bjørner Kenneth L. McMillan Andrey Rybalchenko

Published in: SAS (2013)

Keyphrases

horn clauses
universally quantified
first order logic
inference rules
inductive logic programming
existentially quantified
logic programs
quantified boolean formulas
situation calculus
machine learning
high level
database queries
artificial intelligence
search algorithm
expert systems