De Raedt, LucLucDe RaedtManhaeve, R.R.ManhaeveDumancic, S.S.DumancicDemeester, ThomasThomasDemeesterKimmig, A.A.Kimmig2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/32820Neuro-Symbolic = Neural + Logical + ProbabilisticProceedings paper