Per anno
12
tesi di laurea magistrale
/
2014–2024
/
Roberta Calegari
- Extending the 2P-Kt ecosystem: CLP and Labelled LP (laurea magistrale) — Giuseppe Boezio
- Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (laurea magistrale) — Giovanni Speciale
- Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (laurea magistrale) — Jason Dellaluce
- Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (laurea magistrale) — Maicol Forti
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (laurea magistrale) — Matteo Castiglio
- AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (laurea magistrale) — XWiki.GiuseppePisano3
- Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (laurea magistrale) — Alberto Sita
- Smart home: reasoning e proattività applicate ad un caso di studio (laurea magistrale) — Ilaria Bertoletti
- tuProlog as a Service: intelligenza per scenari IoT (laurea magistrale) — Andrea Muccioli
- Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java (laurea magistrale) — Vito Colletta
- Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (laurea magistrale) — Andrea Bucaletti
- Home intelligence & social network in the Butlers perspective (laurea magistrale) — Sara Bevilacqua
— Prodotti
2P
LPaaS
Arg-tuProlog
— Eventi
WOA 2021
— Progetti
CompuLaw
— Associazioni
AIxIA
— Corsi
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers