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