Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
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
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).
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
Reasoning with many-valued interval temporal logic
Published:
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.