ExactLearner.github.io
ExactLearner
Full version of the systems paper submitted to KR 2018 can be accessed
here