Logical Approach to Interpreting Neural Network Solutions | IEEE Conference Publication | IEEE Xplore