Effective reasoning over neural networks using Lukasiewicz logic - Preto, Sandro; Finger, Marcelo (Compendium of neurosymbolic artificial intelligence, 2023)