Valese, Alberto
Valese, Alberto
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
2024 Gliozzi, Valentina; Pozzato, Gian Luca; Tessore, Gabriele; Valese, Alberto
Combining neural and symbolic approaches to solve the Picasso problem: A first step
2022 Gliozzi, Valentina; Pozzato, Gian Luca; Valese, Alberto
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics | 2024 | Valese, Alberto + | JOURNAL OF LOGIC AND COMPUTATION | - | - |
| Combining neural and symbolic approaches to solve the Picasso problem: A first step | 2022 | Valese, Alberto + | DISPLAYS | - | - |