Model Learning as a Satisfiability Modulo Theories Problem.

Rick Smetsers Paul Fiterau-Brostean Frits W. Vaandrager

Published in: LATA (2018)

Keyphrases

high level
machine learning
knowledge base
constraint satisfaction