Sandro Preto

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Fictitious Play

Propositional Logic

Nash Equilibria

Top Venues

Publications

Sandro Preto, Felip Manyà, Marcelo Finger
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. ISMVL (2023)
Sandro Preto, Felip Manyà, Marcelo Finger
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. ISMVL (2023)
Sandro Preto, Marcelo Finger
Proving properties of binary classification neural networks via Łukasiewicz logic. Log. J. IGPL 31 (5) (2023)
Tommaso Flaminio, Sandro Preto, Sara Ugolini
Reasoning about Probability via Continuous Functions. KR (2023)
Sandro Preto, Marcelo Finger
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Math. Struct. Comput. Sci. 32 (9) (2022)
Sandro Preto, Eduardo Fermé, Marcelo Finger
Coherence of probabilistic constraints on Nash equilibria. CoRR (2022)
Sandro Preto, Eduardo Fermé, Marcelo Finger
Coherence of probabilistic constraints on Nash equilibria. J. Braz. Comput. Soc. 28 (1) (2022)
Marcelo Finger, Sandro Preto
Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. J. Autom. Reason. 64 (7) (2020)
Sandro Preto, Marcelo Finger
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. LSFA (2020)
Felipe Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.
Using neural models to perform inference. NeSy@IJCAI (2019)
Marcelo Finger, Sandro Preto
Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. IJCAR (2018)