1. Ahmed, K., et al.: Semantic loss functions for neuro-symbolic structured prediction (2024)
2. Andréka, H., Németi, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. J. Philos. Log. 27(3), 217–274 (1998). https://doi.org/10.1023/a:1004275029985
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003). http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html
4. van Bekkum, M., de Boer, M., van Harmelen, F., Meyer-Vitali, A., Teije, A.: Modular design patterns for hybrid learning and reasoning systems. Appl. Intell. 51(9), 6528–6546 (2021). https://doi.org/10.1007/s10489-021-02394-3
5. Besold, T.R., et al.: Neural-symbolic learning and reasoning: a survey and interpretation (2017)