Sandro Preto

According to our database, Sandro Preto authored at least 11 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Proving properties of binary classification neural networks via Łukasiewicz logic.

Sandro Preto, Marcelo Finger

Log. J. IGPL, September, 2023

Effective Reasoning over Neural Networks Using Łukasiewicz Logic.

Sandro Preto, Marcelo Finger

Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023

Reasoning about Probability via Continuous Functions.

Tommaso Flaminio, Sandro Preto, Sara Ugolini

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Linking Łukasiewicz Logic and Boolean Maximum Satisfiability.

Sandro Preto, Felip Manyà, Marcelo Finger

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks.

Sandro Preto, Felip Manyà, Marcelo Finger

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2022

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability.

Sandro Preto, Marcelo Finger

Math. Struct. Comput. Sci., October, 2022

Coherence of probabilistic constraints on Nash equilibria.

Sandro Preto, Eduardo Fermé, Marcelo Finger

J. Braz. Comput. Soc., 2022

2020

Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics.

Marcelo Finger, Sandro Preto

J. Autom. Reason., 2020

An Efficient Algorithm for Representing Piecewise Linear Functions into Logic.

Sandro Preto, Marcelo Finger

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

Using neural models to perform inference.

Felipe Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

2018

Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic.

Marcelo Finger, Sandro Preto

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018