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.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
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
Published:
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
Published:
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
Published:
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).
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
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.