Alberto Valese

According to our database, Alberto Valese authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Modeling user personality traits from aesthetic preference on multiple images.

Marta Micheli, Alberto Valese

Proceedings of the 32nd ACM Conference on User Modeling, Adaptation and Personalization, 2024

Body-Shaming Detection and Classification in Italian Social Media.

Francesca Grasso, Alberto Valese, Marta Micheli

Proceedings of the Natural Language Processing and Information Systems, 2024

Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination.

Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato

Proceedings of the Foundations of Intelligent Systems - 27th International Symposium, 2024

2023

Proof Methods and Theorem Proving for Conditional Logics with Strong Centering.

Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Combining neural and symbolic approaches to solve the Picasso problem: A first step.

Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese

Displays, 2022

A Logic-Based Tool for Dynamic Generation and Classification of Musical Content.

Antonio Lieto, Gian Luca Pozzato, Alberto Valese, Mattia Zito

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2018

COCOS: a typicality based COncept COmbination System.

Antonio Lieto, Gian Luca Pozzato, Alberto Valese

Proceedings of the 33rd Italian Conference on Computational Logic, 2018