COCOS: a typicality based COncept COmbination System. - Antonio Lieto; Gian Luca Pozzato; Alberto Valese (CILC, 2018)

A Logic-Based Tool for Dynamic Generation and Classification of Musical Content. - Antonio Lieto; Gian Luca Pozzato; Alberto Valese; Mattia Zito (AI*IA, 2022)

Combining neural and symbolic approaches to solve the Picasso problem: A first step. - Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese (Displays, 2022)

Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. - Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese (CILC, 2023)

Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. - Alberto Valese; Valentina Gliozzi; Gian Luca Pozzato (ISMIS, 2024)

Body-Shaming Detection and Classification in Italian Social Media. - Francesca Grasso; Alberto Valese; Marta Micheli (NLDB (1), 2024)

Modeling user personality traits from aesthetic preference on multiple images. - Marta Micheli; Alberto Valese (UMAP, 2024)

Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics. - Valentina Gliozzi; Gian Luca Pozzato; Gabriele Tessore; Alberto Valese (J. Log. Comput., 2024)