SAT-Based Invariant Inference and Its Relation to Concept Learning.

Yotam M. Y. Feldman Sharon Shoham

Published in: RP (2022)

Keyphrases

concept learning
inductive logic programming
order sorted logic
answer set programming
relational domains
inductive learning
relational learning
constructive induction
logic programming
bounded model checking
data mining
knowledge base
sat solvers
answer sets
constraint solver
concept detection