tag : tuProlog
13
theses
/
Andrea Omicini
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
Logic-based coordination: a semantic approach to self-composition of services (21/03/2019) — Ashley Caselli
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (24/07/2017) — Alberto Sita
tuProlog as a Service: intelligenza per scenari IoT (13/03/2017) — Andrea Muccioli
Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (12/10/2015) — Alberto Sita
Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (28/03/2012) — Marco Alberti
Testing esaustivo di un interprete Prolog su piattaforma Java (14/12/2011) — Fabrizio Sabbioni
Gestione della tail recursion in tuProlog (03/10/2011) — Silvia Umiliacchi
Scripting in Java 6: esperimenti in tuProlog (25/06/2009) — Andrea Del Bene
Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (16/02/2006) — Emanuele Nanetti
Estensione di un motore Prolog per la programmazione a vincoli (15/12/2005) — Alex Benini