A. S.  d'Avila Garcez, Gori, M., Hitzler, P., and Lamb, L. C., ?Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)?, Dagstuhl Reports, vol. 4, pp. 50?84, 2014.