1. Abadi, M., et al.: TensorFlow: large-scale machine learning on heterogeneous systems (2015). https://www.tensorflow.org/
2. Ajtai, M., Gurevich, Y.: Datalog vs first-order logic. J. Comput. Syst. Sci. 49(3), 562–588 (1994). https://doi.org/10.1016/S0022-0000(05)80071-6
3. Bader, S., d’Avila Garcez, A.S., Hitzler, P.: Computing first-order logic programs by fibring artificial neural networks. In: Russell, I., Markov, Z. (eds.) Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, USA, pp. 314–319. AAAI Press (2005). http://www.aaai.org/Library/FLAIRS/2005/flairs05-052.php
4. Badreddine, S., d’Avila Garcez, A., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022). https://doi.org/10.1016/j.artint.2021.103649
5. Ballard, D.H.: Parallel logical inference and energy minimization. In: Kehler, T. (ed.) Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, 11–15 August 1986. Volume 1: Science. pp. 203–209. Morgan Kaufmann (1986). http://www.aaai.org/Library/AAAI/1986/aaai86-033.php