co-supervisor : Andrea Omicini
32
theses
Innovating HR Systems: The Digital Transformation of Trevi Group (18/12/2024) — Santiago Trivelloni Decision-Making in Complex Systems Through Simulation Modeling: a Vaccine Supply Chain Case Study (18/12/2024) — Mattia Broglia JACOP: Programming BDI Agents with Pluggable Concurrency Model (17/03/2023) — Martina Baiardi Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype (15/12/2022) — Giulia Brugnatti Micro-Intelligence for the IoT: Logic-Based Models and Technologies (20/04/2018) — Roberta Calegari 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 Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture (15/02/2015) — Giuseppe Vizzari Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione (25/03/2013) — Francesco Galassi 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 Multi-level models and infrastructures for simulating biological system development (28/04/2011) — Sara Montagna Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto (24/03/2011) — Davide Aldrovandi Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti (24/03/2011) — Alessio Serrangeli Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN (14/12/2010) — Simone Romei Constructs and Applications of Generic Programming in Object-Oriented Languages (30/04/2010) — Maurizio Cimadamore Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (30/04/2010) — Michele Piunti Hive BDI. Extending BDI Agents with Shared Memory (25/03/2010) — Matteo Barbieri Design e Implementazione di un Modulo Semantico per TuCSoN (22/12/2009) — Emanuele Panzavolta Self-organising coordination systems (08/09/2009) — Matteo Casadei Argumentation and artifacts for intelligent multi-agent systems (07/04/2008) — Enrico Oliva Meta-models, environment and layers: agent-oriented engineering of complex systems (07/04/2008) — Ambra Molesini Engineering Self-organising Systems with the Multi-Agent Paradigm (02/04/2008) — Luca Gardelli Sistemi software e middleware per sistemi e tecnologie RFID: stato dell'arte e sperimentazioni (20/07/2006) — Marco Sbaraglia Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (16/02/2006) — Emanuele Nanetti RBAC in sistemi multiagente: modello e implementazione in TuCSoN (15/12/2005) — Daniele Albonetti JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito (12/10/2005) — Mattia Piraccini Istituzioni Computazionali: coordinazione mediante norme (15/02/2005) — Rossella Rubino Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi (12/10/2004) — Ambra Molesini Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione (12/10/2004) — Leonardo Nicoli Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (15/04/2004) — Alessandro Ricci Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (20/02/1998) — Enrico Denti