João Lepinsk, Thomas Derkascz, Rafael Cardoso, André Borges, and Gleifer Alves. 2025.
 Classification of Works in Neuro-Symbolic Artificial Intelligence Based on Kautz and Bader &amp; Hitzler Taxonomies. In <em>Proceedings of the 8th Workshop-School of Theoretical Computer Science</em>, September 10, 2025, Ponta Grossa/PR, Brasil. SBC, Porto Alegre, Brasil, 64-73.