On logical semantics of hybrid symbolic-neural networks for commonsense reasoning | IEEE Conference Publication | IEEE Xplore