Tesi

8 tesi / tag : 2P-Kt

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
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (28/05/2021) — Maicol Forti
Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (22/07/2020) — Andrea Dipietro
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) — Enrico Siboni