TY - CONF T1 - Propositional rule extraction from neural networks under background knowledge T2 - Twelfth International Workshop on Neural-Symbolic Learning and Reasoning Y1 - 2017 A1 - Maryam Labaf ED - Pascal Hitzler KW - Background knowledge KW - Neural Network KW - Propositional Logic KW - Rule Extraction JF - Twelfth International Workshop on Neural-Symbolic Learning and Reasoning ER -