From Concept Learning to SAT-Based Invariant Inference (Invited Talk).

Published in: FSTTCS (2023)

Keyphrases

concept learning
invited talk
knowledge discovery and data mining
inductive logic programming
selected papers
bounded model checking
answer set programming
relational domains
real world
sat solvers
constructive induction
markov logic
artificial neural networks
version space
sat encodings