Per Year

Per Year

29 theses  /  2017–2023  /  Giovanni Ciatto

2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017

2023
Extending the 2P-Kt ecosystem: CLP and Labelled LP (second-cycle thesis, 03/02/2023) — Giuseppe Boezio
(1 thesis / 2023)  [top]  [bottom]
2022
Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype  (second-cycle thesis, 15/12/2022) — Giulia Brugnatti
Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (second-cycle thesis, 27/05/2022) — Luca Nannini
(2 theses / 2022)  [top]  [bottom]
2021
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (second-cycle thesis, 16/12/2021) — Andrea Giordano
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (second-cycle thesis, 22/07/2021) — Giovanni Speciale
Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (first-cycle thesis, 22/07/2021) — Cristiano Aprigliano
Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (second-cycle thesis, 21/07/2021) — Jason Dellaluce
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (second-cycle thesis, 28/05/2021) — Maicol Forti
Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (first-cycle thesis, 28/05/2021) — Marco Pastore
Engineering Angle-of-Arrival-based Indoor Localization Systems (second-cycle thesis, 26/03/2021) — Shapour Nemati
Integrazione tra Programmazione Logica e Reti Neurali:  esperimenti in 2p-Kt (second-cycle thesis, 04/02/2021) — Matteo Castiglio
(8 theses / 2021)  [top]  [bottom]
2020
Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (second-cycle thesis, 17/12/2020) — Federico Sabbatini
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (first-cycle thesis, 22/07/2020) — Riccardo Varotto
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (first-cycle thesis, 22/07/2020) — Ilaria Crivellari
Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (first-cycle thesis, 22/07/2020) — Andrea Dipietro
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (second-cycle thesis, 19/03/2020) — XWiki.GiuseppePisano3
(5 theses / 2020)  [top]  [bottom]
2019
Simulazione di Agenti BDI basati su Prolog in Alchemist (second-cycle thesis, 12/12/2019) — Filippo Nicolini
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (second-cycle thesis, 12/12/2019) — Enrico Siboni
Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma (first-cycle thesis, 12/12/2019) — Mariano Caldara
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (second-cycle thesis, 12/12/2019) — Matteo Minardi
Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (first-cycle thesis, 06/07/2019) — Jason Dellaluce
Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (first-cycle thesis, 21/03/2019) — Matteo Saccomanni
Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata (first-cycle thesis, 21/03/2019) — Andrea Cardiota
Logic-based coordination: a semantic approach to self-composition of services (second-cycle thesis, 21/03/2019) — Ashley Caselli
(8 theses / 2019)  [top]  [bottom]
2018
Testing automatico per una implementazione dello standard OpenGL (second-cycle thesis, 18/10/2018) — Edoardo Antonini
Coordination as a Web Service: una moderna implementazione del modello Linda (first-cycle thesis, 18/10/2018) — Lorenzo Rizzato
Multi-sensing Data Fusion: Target tracking via particle filtering (second-cycle thesis, 18/10/2018) — Alessandro Contro
Blockchain: modello generale e tassonomia delle componenti chiave (second-cycle thesis, 22/03/2018) — Alex Collini
(4 theses / 2018)  [top]  [bottom]
2017
La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (first-cycle thesis, 15/12/2017) — Nicola Atti
(1 thesis / 2017)  [top]  [bottom]

home  •  courses  •  events  •  projects  •  publications  •  talks  •  theses

Avatar

Failed to parse document content Cause: [Can't find descriptor for the component with type [interface org.xwiki.rendering.parser.Parser] and hint [markdown/1.2]]. Click on this message for details.

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY