Per Cycle
29
3rd-cycle theses
- Argumentation for Legal Reasoning: Meta-models, Technology and Beyond (04/07/2024) — Giuseppe Pisano
- Embedding AI into Constrained Devices: A Multi-Faceted Approach (24/06/2024) — Andrea Agiollo
- On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge (16/06/2022) — Giovanni Ciatto
- Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems (02/04/2020) — Roberto Casadei
- Micro-Intelligence for the IoT: Logic-Based Models and Technologies (20/04/2018) — Roberta Calegari
- Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge (15/12/2017) — Valeri Katerinchuk
- A topological classifier for detecting the emergence of anomalous synchronization in brain activities (25/07/2017) — Marco Piangerelli
- Simplicial Complexes and Graph Rewriting for Modelling RNA Folding (25/07/2017) — Adane Letta Mamuye
- A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (03/07/2017) — Francesco Luca De Angelis
- Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (13/05/2016) — Stefano Mariani
- Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture (15/02/2015) — Giuseppe Vizzari
- Compliance by Design: Synthesis of Business Processes by Declarative Specifications (26/08/2014) — Francesco Olivieri
- Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (19/04/2013) — Andrea Santi
- Engineering Regulated Open Multiagent Systems (19/04/2013) — Emilia Garcia
- Knowledge Representation Methods for Smart Devices in Intelligent Buildings (22/03/2013) — Giuseppe Loseto
- Sistemi Intelligenti per la Progettazione e Modellazione Automatica di Circuiti Genetici (22/03/2013) — Paolo Pannarale
- Supporting Agent-Oriented Models within the Software Life Cycle (15/08/2012) — Bin Lu
- Semantic Coordination Through Programmable Tuple Spaces (28/04/2011) — Elena Nardini
- Multi-level models and infrastructures for simulating biological system development (28/04/2011) — Sara Montagna
- Law and Science through the Lens of Patent Law and Software Agents (14/07/2010) — Migle Laukyte
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (30/04/2010) — Michele Piunti
- Constructs and Applications of Generic Programming in Object-Oriented Languages (30/04/2010) — Maurizio Cimadamore
- 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
- 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
- Programmazione Logica Orientata agli Oggetti (10/11/1995) — Andrea Omicini