Per Status


Per Status

33 theses  /  Giovanni Ciatto

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

Tags:

Theses / Ciatto

Home

Clouds
•  tags  

Status
•  completed  •  ongoing  

Year
 2023    2022    2021    2020    2019    2018    2017  

Cycle
•  1st cycle  •  2nd cycle  

Role
•  supervisor  •  co-supervisor  •  contact  

Avatar

Contacts

Links

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