VALESE, ALBERTO

VALESE, ALBERTO  

INFORMATICA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.012 secondi).
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