Alberto Paparella

Alberto Paparella

he/him

PhD fellow in Mathematics interested in Logic and Computer Science

Publications

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

Conference Papers

Many-Expert Decision Trees

Accepted for publication 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).

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