Probabilistic Neural–Symbolic Models With Inductive Posterior Constraints | IEEE Journals & Magazine | IEEE Xplore