VALESE, ALBERTO
VALESE, ALBERTO
Struttura Universitaria Interdipartimentale in Scienze Strategiche (SUISS)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.002 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. |