Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Tesi
Nuvole
correlatore : Giovanni Ciatto
correlatore : Giovanni Ciatto
31 tesi
Integrated Development Environments: Exploring the Impact of the Implementation of Artificial Intelligence on Workflow Efficiency and its Potential for Developer Displacement
(17/07/2024) —
Bruna Moema Dias Bahmed
Programmazione multi-piattaforma: disamina storica e tecnologica
(15/03/2024) —
Matteo Lanzi
Extending the 2P-Kt ecosystem: CLP and Labelled LP
(03/02/2023) —
Giuseppe Boezio
Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt
(27/05/2022) —
Luca Nannini
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support
(16/12/2021) —
Andrea Giordano
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
(22/07/2021) —
Giovanni Speciale
Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain
(22/07/2021) —
Cristiano Aprigliano
Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study
(21/07/2021) —
Jason Dellaluce
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
(28/05/2021) —
Maicol Forti
Spatial Tuples nel mondo reale: il caso di Unity e Google Maps
(28/05/2021) —
Marco Pastore
Engineering Angle-of-Arrival-based Indoor Localization Systems
(26/03/2021) —
Shapour Nemati
Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt
(04/02/2021) —
Matteo Castiglio
Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks
(17/12/2020) —
Federico Sabbatini
Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
(22/07/2020) —
Andrea Dipietro
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
(22/07/2020) —
Riccardo Varotto
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin
(22/07/2020) —
Ilaria Crivellari
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici
(19/03/2020) —
XWiki.GiuseppePisano3
Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati
(12/12/2019) —
Matteo Minardi
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
(12/12/2019) —
Enrico Siboni
Simulazione di Agenti BDI basati su Prolog in Alchemist
(12/12/2019) —
Filippo Nicolini
Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma
(12/12/2019) —
Mariano Caldara
Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI
(06/07/2019) —
Jason Dellaluce
Logic-based coordination: a semantic approach to self-composition of services
(21/03/2019) —
Ashley Caselli
Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata
(21/03/2019) —
Andrea Cardiota
Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza
(21/03/2019) —
Matteo Saccomanni
Blockchain and beyond: proactive logic smart contracts
(14/12/2018) —
Alfredo Maffi
Testing automatico per una implementazione dello standard OpenGL
(18/10/2018) —
Edoardo Antonini
Coordination as a Web Service: una moderna implementazione del modello Linda
(18/10/2018) —
Lorenzo Rizzato
Multi-sensing Data Fusion: Target tracking via particle filtering
(18/10/2018) —
Alessandro Contro
Blockchain: modello generale e tassonomia delle componenti chiave
(22/03/2018) —
Alex Collini
La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente
(15/12/2017) —
Nicola Atti
[
nuvola correlatori
/ tesi ]