Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic M Finger, S Preto Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 9 | 2018 |
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics M Finger, S Preto Journal of Automated Reasoning 64 (7), 1269-1286, 2020 | 8 | 2020 |
An efficient algorithm for representing piecewise linear functions into logic S Preto, M Finger Electronic Notes in Theoretical Computer Science 351, 167-186, 2020 | 5 | 2020 |
Proving properties of binary classification neural networks via Łukasiewicz logic S Preto, M Finger Logic Journal of the IGPL 31 (5), 805-821, 2023 | 3 | 2023 |
Linking Łukasiewicz logic and Boolean maximum satisfiability S Preto, F Manyà, M Finger 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 164-169, 2023 | 3 | 2023 |
Using neural models to perform inference FS Salvatore, S Preto, M Finger, R Hirata Júnior Proceedings, 2019 | 3 | 2019 |
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability S Preto, M Finger Mathematical Structures in Computer Science 32 (9), 1119-1144, 2022 | 2 | 2022 |
Representing rational McNaughton functions via MODSAT relativisation S Preto, M Finger Book of Abstracts, 2019 | 2 | 2019 |
Benchmarking Łukasiewicz logic solvers with properties of neural networks S Preto, F Manyà, M Finger 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 158-163, 2023 | 1 | 2023 |
Effective reasoning over neural networks using Lukasiewicz logic S Preto, M Finger Compendium of neurosymbolic artificial intelligence, 2023 | 1 | 2023 |
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic M Finger, S Preto Journal of Logic and Computation, exad059, 2023 | | 2023 |
Reasoning about probability via continuous functions T Flaminio, S Preto, S Ugolini Proceedings of the 20th International Conference on Principles of Knowledge …, 2023 | | 2023 |
Semantics modulo satisfiability with applications: function representation, probabilities and game theory SM da Silva Preto Bulletin of Symbolic Logic 28 (2), 264-265, 2022 | | 2022 |
Coherence of probabilistic constraints on Nash equilibria S Preto, E Fermé, M Finger arXiv preprint arXiv:2201.00746, 2022 | | 2022 |
Lógica, Probabilidade e Consequência SM da Silva Preto [sn], 2015 | | 2015 |
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)| 978-1-6654-6416-1/23/$31.00© 2023 IEEE| DOI: 10.1109/ISMVL57333. 2023.00049 IG Achu, SB Alam, MA Amin, K Asano, JT Astola, M Behrisch, ... | | |
Approximating Lukasiewicz Infinitely-valued Logic via Polyhedral Semantics M Finger, S Preto BOOK OF ABSTRACTS LIVRO DE RESUMOS, 114, 0 | | |