Lepinsk, João, Derkascz, Thomas, Cardoso, Rafael, Borges, André, AND Alves, Gleifer. " Classification of Works in Neuro-Symbolic Artificial Intelligence Based on Kautz and Bader & Hitzler Taxonomies" Proceedings of the Workshop-School on Theoretical Computer Science (WEIT) [Online], (10 September 2025)