Silva, David, 		Leal, Felipe, 		Santos, Felipe, 		Rebolças, Flaygner, 		Oliveira, Reinan, 		Pacheco, Rodrigo, AND 		Alves, Vinicius.
" Teaching Mathematical Logic to AI Models: Development of an Interactive Intelligent Agent" <em>Proceedings of the Regional School on Computing of Bahia, Alagoas, and Sergipe (ERBASE)</em> [Online], (12 August 2025)