Sandro Preto

15 papers A* 1A 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Nash meets Łukasiewicz: computing equilibria through logic.
J. Log. Comput.
Sandro Preto, Marcelo Finger
2025 J jnl
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic.
J. Log. Comput.
Marcelo Finger, Sandro Preto
2024 — conf
Regional, Lattice and Logical Representations of Neural Networks.
LSFA
Sandro Preto, Marcelo Finger
2023 — conf
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks.
ISMVL
Sandro Preto, Felip Manyà, Marcelo Finger
2023 — ch.
Effective Reasoning over Neural Networks Using Łukasiewicz Logic.
Compendium of Neurosymbolic Artificial Intelligence
Sandro Preto, Marcelo Finger
2023 — conf
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability.
ISMVL
Sandro Preto, Felip Manyà, Marcelo Finger
2023 J jnl
Proving properties of binary classification neural networks via Łukasiewicz logic.
Log. J. IGPL
Sandro Preto, Marcelo Finger
2023 A* conf
Reasoning about Probability via Continuous Functions.
KR
Tommaso Flaminio, Sandro Preto, Sara Ugolini
2022 J jnl
Coherence of probabilistic constraints on Nash equilibria.
CoRR
Sandro Preto, Eduardo Fermé, Marcelo Finger
2022 J jnl
Coherence of probabilistic constraints on Nash equilibria.
J. Braz. Comput. Soc.
Sandro Preto, Eduardo Fermé, Marcelo Finger
2022 J jnl
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability.
Math. Struct. Comput. Sci.
Sandro Preto, Marcelo Finger
2020 — conf
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic.
LSFA
Sandro Preto, Marcelo Finger
2020 J jnl
Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics.
J. Autom. Reason.
Marcelo Finger, Sandro Preto
2019 — conf
Using neural models to perform inference.
NeSy@IJCAI
Felipe de Souza Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.
2018 A conf
Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic.
IJCAR
Marcelo Finger, Sandro Preto