1. Learning to reason: leveraging neural networks for approximate DNF counting;Abboud,2020
2. Semantic referee: a neural-symbolic framework for enhancing geospatial semantic segmentation;Alirezaie;Semant. Web,2019
3. Hinge-loss Markov random fields and probabilistic soft logic;Bach;J. Mach. Learn. Res.,2017
4. Dimensions of neural-symbolic integration - a structured survey;Bader,2005
5. Logic tensor networks;Badreddine;Artif. Intell.,2022