Propositional Rule Extraction from Neural Networks under Background Knowledge. - Maryam Labaf; Pascal Hitzler; Anthony B. Evans (NeSy, 2017)