Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Posts

Future Blog Post

less than 1 minute read

Published: January 01, 2199

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published: August 14, 2015

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published: August 14, 2014

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published: August 14, 2013

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published: August 14, 2012

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

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).

talks

Many-Expert Decision Trees

Published: October 22, 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.

Download Download Slides

</p>

Reasoning with many-valued interval temporal logic

Published: November 28, 2024

More information here Check it on youtube

Download Download Slides

</p>

Modal FLew-Algebra Satisfiability Through First-Order Translation

Published: July 21, 2025

Modal logics offer a valid treatment for temporal and spatial data, which are critical in modeling many real-world scenarios and, therefore, are becoming more popular by the day in artificial intelligence applications, specifically when dealing with symbolic machine learning. Some notable examples are [1], [2], introducing modal logics for treating interval temporal relations and topological (i.e., spatial) relations, respectively. However, practitioners handling temporal and spatial data typically encounter challenges, as sensing and discretizing signals that often introduce inaccuracies in the data. Fuzzy logics are renowned as a common approach to deal with uncertainty and unclear boundaries in the data. Furthermore, Melvin Fitting proposed in [3] a many-valued approach leveraging Heyting algebras to tackle many-expert scenarios, another compelling application in artificial intelligence. In this talk, we want to present a framework that is general enough to treat modal many-valued logics, including Fitting’s proposal, and can be endowed with reasoning tools suitable for real-world applications.

Vector space embeddings of modal logic formulas: theory and application

Published: August 04, 2025

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.

Alberto Paparella

Sitemap

Pages

Posts

portfolio

publications

talks

teaching