VALESE, ALBERTO
VALESE, ALBERTO
INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.012 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.
Body-Shaming Detection and Classification in Italian Social Media
2024-01-01 Grasso F.; Valese A.; Micheli M.
COCOS: A typicality based COncept COmbination System
2018-01-01 Lieto, Antonio; Pozzato, Gian Luca; Valese, Alberto
Combining neural and symbolic approaches to solve the Picasso problem: A first step
2022-01-01 Gliozzi V.; Pozzato G.L.; Valese A.
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination
2024-01-01 Valese, Alberto; Gliozzi, Valentina; Pozzato, Gian Luca
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering
2023-01-01 Gliozzi V.; Pozzato G.L.; Valese A.
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
2024-01-01 Gliozzi, Valentina; Pozzato, Gian Luca; Tessore, Gabriele; Valese, Alberto
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. | |
Body-Shaming Detection and Classification in Italian Social Media | 2024 | Grasso F.; Valese A.; Micheli M. | |
COCOS: A typicality based COncept COmbination System | 2018 | Lieto, Antonio; Pozzato, Gian Luca; Valese, Alberto | |
Combining neural and symbolic approaches to solve the Picasso problem: A first step | 2022 | Gliozzi V.; Pozzato G.L.; Valese A. | |
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination | 2024 | Valese, Alberto; Gliozzi, Valentina; Pozzato, Gian Luca | |
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering | 2023 | Gliozzi V.; Pozzato G.L.; Valese A. | |
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics | 2024 | Gliozzi, Valentina; Pozzato, Gian Luca; Tessore, Gabriele; Valese, Alberto |