Per Year & Cycle

Third-cycle Thesis  /  2003–2023  /  Andrea Omicini

• On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge (completed, 16/06/2022) — Giovanni Ciatto

• Micro-Intelligence for the IoT: Logic-Based Models and Technologies (completed, 20/04/2018) — Roberta Calegari

• Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (completed, 13/05/2016) — Stefano Mariani

• Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture (completed, 15/02/2015) — Giuseppe Vizzari

• Multi-level models and infrastructures for simulating biological system development (completed, 28/04/2011) — Sara Montagna
• Semantic Coordination Through Programmable Tuple Spaces (completed, 28/04/2011) — Elena Nardini

• Law and Science through the Lens of Patent Law and Software Agents (completed, 14/07/2010) — Migle Laukyte
• Constructs and Applications of Generic Programming in Object-Oriented Languages (completed, 30/04/2010) — Maurizio Cimadamore

• Self-organising coordination systems (completed, 08/09/2009) — Matteo Casadei

• Argumentation and artifacts for intelligent multi-agent systems (completed, 07/04/2008) — Enrico Oliva
• Meta-models, environment and layers: agent-oriented engineering of complex systems (completed, 07/04/2008) — Ambra Molesini
• Engineering Self-organising Systems with the Multi-Agent Paradigm (completed, 02/04/2008) — Luca Gardelli

• Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures  (completed, 15/04/2004) — Alessandro Ricci