List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Nash meets Łukasiewicz: computing equilibria through logic Journal of Logic and Computation | 2025-10-29 | Paper |
| Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic Journal of Logic and Computation | 2025-10-15 | Paper |
| Regional, lattice and logical representations of neural networks | 2025-09-03 | Paper |
| Proving properties of binary classification neural networks via Łukasiewicz logic Logic Journal of the IGPL | 2024-02-20 | Paper |
| Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability Mathematical Structures in Computer Science | 2023-04-19 | Paper |
| An efficient algorithm for representing piecewise linear functions into logic | 2021-02-22 | Paper |
| Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics Journal of Automated Reasoning | 2020-11-02 | Paper |
| Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic | 2018-10-18 | Paper |
Research outcomes over time
This page was built for person: Sandro Preto
