Sign in
Alberto Valese
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 4
Top Topics
Theorem Proving
Combining Multiple
Connectionist Learning
Svm Classifier
Top Venues
CILC
Displays
AI*IA
</>
Publications
</>
Valentina Gliozzi
,
Gian Luca Pozzato
,
Alberto Valese
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering.
CILC
(2023)
Antonio Lieto
,
Gian Luca Pozzato
,
Alberto Valese
,
Mattia Zito
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content.
AI*IA
(2022)
Valentina Gliozzi
,
Gian Luca Pozzato
,
Alberto Valese
Combining neural and symbolic approaches to solve the Picasso problem: A first step.
Displays
74 (2022)
Antonio Lieto
,
Gian Luca Pozzato
,
Alberto Valese
COCOS: a typicality based COncept COmbination System.
CILC
(2018)