1. Zhou Z H. Abductive learning: towards bridging machine learning and logical reasoning. Science China Information Sciences, 2019, 62(7): 76101
2. Zhou Z H, Huang Y X. Abductive learning. In: Hitzler P, Sarker M K, eds. Neuro-Symbolic Artificial Intelligence: The State of the Art. Amsterdam: IOS Press, 2022, 353–369
3. Pedregosa F, Varoquaux G, Gramfort A, Michel V, Thirion B, Grisel O, Blondel M, Prettenhofer P, Weiss R, Dubourg V, Vanderplas J, Passos A, Cournapeau D, Brucher M, Perrot M, Duchesnay É. cdkitllarrn: machine learning in python. Journal of Machine Learning Research, 2011, 12(85): 2825–2830
4. Paszke A, Gross S, Massa F, Lerer A, Bradbury J, Chanan G, Killeen T, Lin Z, Gimelshein N, Antiga L, Desmaison A, Köpf A, Yang E, DeVito Z, Raison M, Tejani A, Chilamkurthy S, Steiner B, Fang L, Bai J, Chintala S. PyTorch: an imperative style, high-performance deep learning library. In: Advances in Neural Information Processing Systems 32. 2019, 8024–8035
5. Wielemaker J, Schrijvers T, Triska M, Lager T. SWI-prolog. Theory and Practice of Logic Programming, 2012, 12(1–2): 67–96