Alberto Paparella

Alberto Paparella

he/him

PhD fellow in Mathematics interested in Logic and Computer Science

Posts by Collection

portfolio

publications

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation

Published in 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024, 2024

Theory and implementation of a Fitting’s style tableau system for Many-Valued Interval Temporal Logic.

Recommended citation: Badia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2024). "Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation." 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024. 1(1).
Download Paper | Download Slides

Many-Expert Decision Trees

Published in 6th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2024), Bolzano, Italy, 28-29 November 2024, 2024

Taking inspiration from the literature fuzzy decision trees, and leveraging many-valued logics, we propose a novel, and more general variety of decision trees.

Recommended citation: Badia, Guillermo, Noguera, Carles, Paparella, Alberto, and Sciavicco, Guido. (2024). "Many-Expert Decision Trees." 6th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2024), Bolzano, Italy, 28-39 November 2024. 1(1).
Download Paper | Download Slides

Precipitation nowcasting with generative diffusion models

Published in Applied Intelligence, 2024

In our study, we focus on a specific subset of the ERA-5 dataset, which includes hourly data pertaining to Central Europe from the years 2016 to 2021. Within this context, we examine the efficacy of diffusion models in handling the task of precipitation nowcasting, with a lead time of 1 to 3 hours.

Recommended citation: Asperti, Andrea, Merizzi, Fabio, Paparella, Alberto, Pedrazzi, Giorgio, Angelinelli, Matteo, and Colamonaco, Stefano. (2024). "Precipitation nowcasting with generative diffusion models." Applied Intelligence. 55(1).
Download Paper

Generating and counting finite FLew-chains

Accepted for publication in 33rd IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2025), Montpellier, France, 06-09 July 2025, 2025

In this paper we provide both an accessible and open-source algorithmic tool for generating and counting FLew-chains and an explicit numerical bound.

Recommended citation: Badia, Guillermo, Monego, Riccardo, Noguera, Carles, Paparella, Alberto, and Sciavicco, Guido. (2025). "Generating and counting finite FLew-chains." 33rd IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2025), Montpellier, France, 06-09 July 2025. 1(1).
Download Paper | Download Slides

Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic

Accepted for publication in 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025), London, UK, 27-29 August 2025, 2025

In this paper, we tackle the problem of assessing the ability of LLMs to reason about interval-based statements in the form of validity recognition.

Recommended citation: Bellodi, Pietro, Casavecchia, Pietro, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2025). "Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic." 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025), London, UK, 27-29 August 2025. 1(1).
Download Paper

talks

Many-Expert Decision Trees

Published:

Taking inspiration from the literature fuzzy decision trees, and leveraging many-valued logics, we propose a novel, and more general variety of decision trees.

Download Download Slides

Modal FLew-Algebra Satisfiability Through First-Order Translation

Published:

In this work, we provide an accessible and open-source algorithmic tool for (i) defining finite FLew-algebras, (ii) writing formulas in a specified FLew-algebra, and (iii) asking alpha-satisfiability and alpha-validity for a given value alpha in the algebra of the formula through a first-order translation and making use of a sat or a smt solver, such as z3.

Download Download Slides

Vector space embeddings of modal logic formulas: theory and application

Published:

Reasoning tasks over modal logics are notoriously difficult, comprising problems which are often semi-decidable. Hence, it is not rare for applications leveraging such tasks to exploit heuristic approaches able to give results in an acceptable amount of time, at the cost of some inaccuracies. Some approaches may benefit from vector embeddings, allowing for instance to involve neural networks and machine learning models in the reasoning process. This work aims at providing a new way to provide such embeddings specifically for the modal case, allowing for faster reasoning through both mathematical and learning techniques.

Symbolic Learning and Rule Extraction with Sole.jl

Published:

In this presentation, we will have a look at how Sole.jl works through a hands-on tutorial, emphatizing on its comprehensiveness and user-friendliness. This will also allow us to introduce two newcomers to the SOLE ecosystem: ModalAssociationRules.jl, a package for mining association rules between instances, and SolePostHoc.jl, a package to extract, interpret and simplify sets of rules starting from a symbolic model.

Download Download Slides

Introducing a general framework for many-valued temporal and spatial logic.

Published:

We aim to introduce a possible many-valued extension for well-known temporal and spatial logics based on the family of finite FLew-algebras, allowing for a unified treatment of both fuzzy logics and Heyting algebras, leveraging the notion of a many-valued linear order and allowing for the definition of a many-valued semantics of modal frames. This framework is also implemented as part of an open-source framework for representing, reasoning, and learning from structured and unstructured data, namely Sole.jl, serving as the foundation for reasoning and learning tools leveraging many-valued temporal and spatial logics.

Download Download Slides

teaching

Tutor Numerical Analysis and Laboratory

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2020

Introduction to the MATLAB programming language and support for the course exercises.

Tutor Computer Architecture and Laboratory

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2021

Introduction to the Assembly programming language for the MIPS architecture through the MARS simulator and support for the course excercises.

Tutor Computer Architecture and Laboratory

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2024

Introduction to the Assembly programming language for the MIPS architecture through the MARS simulator and support for the course excercises.

Tutor Computer Architecture and Laboratory

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2025

Introduction to the Assembly programming language for the MIPS architecture through the MARS simulator and support for the course excercises.

Tutor Discrete Mathematics

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2025

Support for the course excercises.

Tutor Discrete Mathematics

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2026

Support for the course excercises.

Tutor Numerical Analysis and Laboratory

Tutor, University of Ferrara, Department of Mathematics and Computer Science, 2026

Introduction to the MATLAB programming language and support for the course exercises.