VALESE, ALBERTO
VALESE, ALBERTO
INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content
2023-01-01 Lieto A.; Pozzato G.L.; Valese A.; Zito M.
Combining neural and symbolic approaches to solve the Picasso problem: A first step
2022-01-01 Gliozzi V.; Pozzato G.L.; Valese A.
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering
2023-01-01 Gliozzi V.; Pozzato G.L.; Valese A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Logic-Based Tool for Dynamic Generation and Classification of Musical Content | 2023 | Lieto A.; Pozzato G.L.; Valese A.; Zito M. | |
| Combining neural and symbolic approaches to solve the Picasso problem: A first step | 2022 | Gliozzi V.; Pozzato G.L.; Valese A. | |
| Proof Methods and Theorem Proving for Conditional Logics with Strong Centering | 2023 | Gliozzi V.; Pozzato G.L.; Valese A. |