Publications

You can also find my articles on my Google Scholar profile.

Journal Articles

Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach

Published in Journal of Artificial Intelligence Research, 2026

We aim to introduce a possible many-valued extension for multi-modal logic based on the family of finite FLew -algebras, as well as a sound and complete reasoning system for such logic. In order to give a general framework for many-valued temporal and spatial logic, we introduce the notion of a many-valued linear order, allowing for the definition of a many-valued semantics of modal frames. The reasoning system is based on the analytic tableau technique and implemented as part of an open-source framework for representing, reasoning, and learning from structured and unstructured data.

Recommended citation: Badia, Guillermo, Monego, Riccardo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2026). "Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach." Journal of Artificial Intelligence Research. 1(1).
Download Paper

Towards Automatic Burrow Detection for Sustainable River Levees

Published in Sustainability, 2026

In this paper, we design, implement, and test a novel AI-based solution that, starting with drone-acquired imagery, allows the user to automatically identify and map potentially dangerous burrows in the target area, and lays the basis for the digitization and systematic conservation of such information, to be later used for intervention and planning.

Recommended citation: Borgatti, Lisa, Alberto Cervellati, Monica Ghirotti, Davide Martinucci, Giacomo Pampalone, Alberto Paparella, Stefano Parodi, Federica Pellegrini, Edoardo Ponsanesi, Guido Sciavicco, Valente, Massimo, and Zambrini, Roberta. (2026)."Towards Automatic Burrow Detection for Sustainable River Levees." Sustainability. 18(4).
Download Paper

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 | Download Slides

Conference Papers

Semantic Embeddings for Modal Logic

Published in 27th Italian Conference on Theoretical Computer Science (ICTCS 2026), 2026

In this paper, we propose a novel framework to assess formula similarity inspired by word embeddings in natural language processing. To test the properties of our embedding, we choose modal logic, which provides a natural compromise between propositional and first-order logic. The results of our proof-of-concept implementation suggest that it is possible to represent the behaviour of logical formulas as numerical vectors, regardless of the properties of the underlying frame.

Recommended citation: Casavecchia, Pietro, Milella, Mauro, Monego, Riccardo, Paparella, Alberto, Sciavicco, Guido, and Serrentino, Leonardo (2026). "Semantic Embeddings for Modal Logic." 27th Italian Conference on Theoretical Computer Science, September 07-09, 2026, Udine. 1(1).
Download Paper

A tableau for Many-Valued Multi-Modal Logic

Published in CILC 2026: The 41st Italian Conference on Computational Logic, June 23–25, 2026, Ferrara, Italy, 2026

We introduce a generalization of Fitting’s many-valued modal logic based on the more general FLew-algebras, encompassing both Heyting algebras and all popular fuzzy logics. Moreover, we propose a tableau system to address the satisfiability of formulae in the given framework, also allowing for the definition of more modalities, hence enabling for the treatment of common temporal and spatial modal logics, among others.

Recommended citation: Badia, Guillermo, Monego, Riccardo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2026). "A tableau for Many-Valued Multi-Modal Logic." CILC 2026: The 41st Italian Conference on Computational Logic, June 23–25, 2026, Ferrara. 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 | Download Slides

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

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

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

Thesis

Diffusion generative models for weather forecasting

Published in Università di Bologna, Corso di Studio in Informatica [LM-DM270], 2023

This thesis is dedicated to investigating the application of diffusion models in the realm of weather forecasting, with a specific focus on precipitation nowcasting.

Recommended citation: Paparella, Alberto (2023) Diffusion generative models for weather forecasting. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270].
Download Paper | Download Slides

A Laravel package for systematic construction of symbolic intelligent systems

Published in Università di Ferrara, Corso di Studio in Informatica [L-31], 2021

Pitòn is a Laravel package which offers machine learning utilities for solving hierarchically-arranged problems, where the available data is stored in a MySQL database, through the creation of rule-based models.

Recommended citation: Paparella, Alberto (2021) A Laravel package for systematic construction of symbolic intelligent systems. [Laurea triennale], Università di Ferrara, Corso di Studio in Informatica [L-31].
Download Paper | Download Slides | Have a look at the code