1. Apt, K.: From Logic Programming to Prolog. Prentice Hall, London New York (1997)
2. Beckh, K., et al.: Explainable machine learning with prior knowledge: An overview. CoRR abs/2105.10172 (2021)
3. Benoy, F., King, A., Mesnard, F.: Computing convex hulls with a linear solver. Theory Pract. Log. Program. 5(1–2), 259–271 (2005)
4. Bertossi, L.E.: Declarative approaches to counterfactual explanations for classification. CoRR abs/2011.07423 (2020)
5. Bertsimas, D., Dunn, J.: Optimal classification trees. Mach. Learn. 106(7), 1039–1082 (2017). https://doi.org/10.1007/s10994-017-5633-9