1. Adadi A, Berrada M (2018) Peeking inside the black-box: a survey on explainable artificial intelligence (XAI). IEEE Access 6:52138–52160
2. Alzaeemi SAS, Sathasivam S, Adebayo SA, Kasihmuddin MSM, Mansor MA (2017) Kernel machine to doing logic programming in Hopfield network for solve non horn problem-3SAT. MOJ Appl Bion Biomech 1(1):1–6
3. Apt KR, Bol RN (1994) Special issue: ten years of logic programming logic programming and negation: a survey. J Log Program 19:9–71
4. Bader S, Hitzler P (2005) Dimensions of neural-symbolic integration—a structured survey. In: Artemov S, Barringer H, d’Avila Garcez AS, Lamb L, Woods J (eds) We will show them: essays in honour of Dov Gabbay, vol 1. King’s College Publications, London, pp 167–194
5. Besold TR, d’Avila Garcez AS, Bader S, Bowman H, Domingos PM, Hitzler P, Kühnberger K, Lamb LC, Lowd D, Lima PMV, de Penning L, Pinkas G, Poon H, Zaverucha G (2017) Neural-symbolic learning and reasoning: a survey and interpretation. arXiv:1711.03902