ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.

Florian Frohn Jürgen Giesl

Published in: CoRR (2023)

Keyphrases

horn clauses
clause learning
inference rules
sat solvers
first order logic
logic programs
inductive logic programming
database queries
information retrieval
logic programming
machine learning
artificial intelligence
search space
conditional probabilities