Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. - Marcelo Finger; Sandro Preto (IJCAR, 2018)

Using neural models to perform inference. - Felipe de Souza Salvatore; Sandro Preto; Marcelo Finger; Roberto Hirata Jr. (NeSy@IJCAI, 2019)

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. - Sandro Preto; Marcelo Finger (LSFA, 2020)

Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. - Marcelo Finger; Sandro Preto (J. Autom. Reason., 2020)

Coherence of probabilistic constraints on Nash equilibria. - Sandro Preto; Eduardo Fermé; Marcelo Finger (J. Braz. Comput. Soc., 2022)

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. - Sandro Preto; Marcelo Finger (Math. Struct. Comput. Sci., 2022)

Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. - Sandro Preto; Felip Manyà; Marcelo Finger (ISMVL, 2023)

Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. - Sandro Preto; Felip Manyà; Marcelo Finger (ISMVL, 2023)

Reasoning about Probability via Continuous Functions. - Tommaso Flaminio; Sandro Preto; Sara Ugolini (KR, 2023)

Effective Reasoning over Neural Networks Using Łukasiewicz Logic. - Sandro Preto; Marcelo Finger (Compendium of Neurosymbolic Artificial Intelligence, 2023)

Proving properties of binary classification neural networks via Łukasiewicz logic. - Sandro Preto; Marcelo Finger (Log. J. IGPL, 2023)

Regional, Lattice and Logical Representations of Neural Networks. - Sandro Preto; Marcelo Finger (LSFA, 2024)

Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. - Marcelo Finger; Sandro Preto (J. Log. Comput., 2025)

Nash meets Łukasiewicz: computing equilibria through logic. - Sandro Preto; Marcelo Finger (J. Log. Comput., 2025)