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

Reasoning with many-valued interval temporal logic

Published: November 28, 2024

In this work, we introduce a tableau system for Many-Valued Halpern and Shoham’s interval temporal logic over some finite FLew -algebra.

Download Download Slides

Modal FLew-Algebra Satisfiability Through First-Order Translation

Published: July 21, 2025

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

Symbolic Learning and Rule Extraction with Sole.jl

Published: October 02, 2025

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: November 06, 2025

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

Alberto Paparella

Sitemap

Pages

Posts

portfolio

publications

talks

teaching