Alberto Valese

According to our database, Alberto Valese authored at least 4 papers between 2018 and 2023.

Collaborative distances:

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

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