Semantic and logic theories in neuron networks | IEEE Conference Publication | IEEE Xplore