Alberto Paparella
Hello everyone! My name is Alberto Paparella, and I am currently a PhD student in Mathematics at the University of Ferrara. My main interests are Mathematical Logic, specifically Many-Valued and Modal Logics, and Machine Learning. In the last few years, I have been working with the Applied Computational Logic and Artificial Intelligence Laboratory on the SOLE framework for Symbolic Learning in Julia, where my main contributions have been a sub-module for the SoleLogics.jl core package to work with Many-Valued Logics and a package for satisfiability and authomated theorem proving for Many-Valued Multi-Modal Logic based on analytic tableau technique, namely SoleReasoners.jl.
Session
Reasoning with temporal and spatial data is crucial in many real-world applications; however, this data is often characterized by uncertainty and unclear boundaries. In this talk, we will see how we can extend spatial and temporal modal logics offered by SOLE through a new submodule, namely ManyValuedLogics, offering support for fuzzy and many-valued logics. Moreover, we will explore a new package called SoleReasoners.jl, offering a reasoning tool for many-valued spatial and temporal logics.