Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
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.
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content
2023-01-01 Lieto A.; Pozzato G.L.; Valese A.; Zito M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content | 2023 | Lieto A.; Pozzato G.L.; Valese A.; Zito M. |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile