All Talks in APICe


All Talks in APICe

443 talks in APICe

On the Integration of Symbolic and Sub-symbolic – Explaining by Design (seminar, 10/02/2022) — Andrea Omicini (Andrea Omicini, Roberta Calegari, Giovanni Ciatto)  |  Explaining conflicts of norms in criminal matters: an argumentation approach (talk, 08/12/2021) — Marco BIlli (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)  |  Neuro-Symbolic Deep Deductive Reasoning (invited talk, 02/12/2021) — Pascal Hitzler (Pascal Hitzler)  |  Modular logic argumentation in Arg-tuProlog (talk, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)  |  Probabilistic logic programming in 2P-Kt (talk, 01/12/2021) — Giovanni Ciatto (Jason Dellaluce, Roberta Calegari, Giovanni Ciatto)  |  Burden of persuasion in argumentation: A meta-argumentation approach (talk, 29/11/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)  |  Burdens of Persuasion and Standards of Proof in Structured Argumentation (invited talk, 20/10/2021) — Giovanni Sartor (Roberta Calegari, Giovanni Sartor)  |  Embedding Artificial Intelligence into Constrained Devices (talk, 20/10/2021) — Andrea Agiollo (Andrea Agiollo)  |  Explainability through argumentation in logic programming (talk, 20/09/2021) — Marco Billi, Giuseppe Pisano (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)  |  A Mechanism for Reasoning over Defeasible Preferences in Arg2P (talk, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)  |  Towards cooperative argumentation for MAS: an Actor-based approach (talk, 03/09/2021) — Roberta Calegari (Giuseppe Pisano, Roberta Calegari, Andrea Omicini)  |  Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap (talk, 02/09/2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)  |  On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (talk, 01/09/2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini)  |  The Burden of Persuasion in Structured Argumentation (talk, 23/06/2021) — Giovanni Sartor (Roberta Calegari, Régis Riveret, Giovanni Sartor)  |  Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (talk, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)  |  Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (talk, 07/05/2021) — Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini)  |  Agents Explaining to Agents (panel presentation, 04/05/2021) — Andrea Omicini (Andrea Omicini)  |  GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (talk, 03/05/2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini)  |  Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (talk, 03/05/2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)  |  Towards Explainable Visionary Agents: License to Dare and Imagine (talk, 03/05/2021) — Amro Najjar (Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi)  |  Graph Neural Networks - Theory & Applications (internal talk, 30/04/2021) — Andrea Agiollo (Andrea Agiollo)  |  Legal reasoning: argumentation and explanation (other talk, 28/04/2021) — Giuseppe Pisano (Giuseppe Pisano)  |  Teaching the Old AI Dog New Symbolic Tricks (talk, 27/04/2021) — Andrea Omicini (Andrea Omicini)  |  Artificial Intelligence in Embedded Environments (other talk, 31/03/2021) — Andrea Agiollo (Andrea Agiollo)  |  Machine Learning: Classification and Regression (From the Software Engineer Perspective) (talk, 12/03/2021) — Giovanni Ciatto (Giovanni Ciatto)  |  Arg-tuProlog: a modular logic argumentation tool for PIL (talk, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)  |  A Model for the Burden of Persuasion in Argumentation (talk, 10/12/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)  |  Not just for humans: Explanation for agent-to-agent communication (talk, 27/11/2020) — Andrea Omicini (Andrea Omicini)  |  Argumentation and Logic Programming for Explainable and Ethical AI (talk, 25/11/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)  |  Arg-tuProlog: a tuProlog-based argumentation framework (talk, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)  |  Burden of Persuasion in Argumentation (talk, 20/09/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)  |  2P-Kt: logic programming with objects & functions in Kotlin (talk, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)  |  Neuro-symbolic Computation for XAI: Towards a Unified Model (talk, 15/09/2020) — Giuseppe Pisano (Andrea Omicini, Giovanni Ciatto, Giuseppe Pisano, Roberta Calegari)  |  Computable Law as Argumentation-based MAS (talk, 14/09/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)  |  An Abstract Framework for Agent-Based Explanations in AI (talk, 09/05/2020) — Giovanni Ciatto (Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini)  |  Agent-Based Explanations in AI: Towards an Abstract Framework (talk, 09/05/2020) — Davide Calvaresi (Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi)  |  Defeasible Systems in Legal Reasoning: A Comparative Assessment (talk, 12/12/2019) — Giovanni Sartor (Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor)  |  The Quest Towards Coordination from Distributed to Socio-Technical Systems (seminar, 06/12/2019) — Stefano Mariani (Stefano Mariani)  |  Towards XMAS: eXplainability through Multi-Agent Systems (talk, 22/11/2019) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi)  |  Real-Time Multi-Agent Systems: challenges, model, and performance analysis (talk, 06/11/2019) — Davide Calvaresi (Davide Calvaresi)  |  Docker for Devs (internal talk, 30/10/2019) — Stefano Mariani (Stefano Mariani)  |  Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (talk, 11/10/2019) — Roberta Calegari (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari)  |  Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (talk, 10/10/2019) — Stefano Mariani (Stefano Mariani)  |  TuSoW: Tuple Spaces for Edge Computing (talk, 01/08/2019) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Lorenzo Rizzato, Stefano Mariani)  |  Empirical Model Learning: Merging knowledge-based and data-driven decision models through machine learning (seminar, 12/07/2019) — Michela Milano (Michela Milano)  |  Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (talk, 28/06/2019) — Roberta Calegari (Andrea Omicini, Giovanni Ciatto, Jason Dellaluce, Roberta Calegari)  |  Smart Contracts are More than Objects: Pro-activeness on the Blockchain (talk, 27/06/2019) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)  |  Towards Agent-oriented Blockchains: Autonomous Smart Contracts (talk, 27/06/2019) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)  |  Comparative Analysis of Blockchain Technologies under a Coordination Perspective (talk, 26/06/2019) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Michael Bosello, Stefano Mariani)  |  Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (talk, 07/06/2019) — Stefano Mariani (Stefano Mariani)  |  Compulaw: Law-by-Design & Machine Law (seminar, 14/05/2019) — Giuseppe Contissa (Giovanni Sartor)  |  Blockchain for Intelligent Systems: Research Perspectives (invited talk, 03/12/2018) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto)  |  Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum (talk, 03/12/2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)  |  Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (talk, 28/11/2018) — Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani)  |  Democracy by Design: Basic Democracy and the Self-Organisation of Collective Governance (seminar, 11/09/2018) — Jeremy Pitt (Jeremy Pitt, Josiah Ober)  |  Distributed Speaking Objects: a Case for Massive Multiagent Systems (invited talk, 14/07/2018) — Franco Zambonelli (Franco Zambonelli, Marco Lippi, Marco Mamei, Stefano Mariani)  |  Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (invited talk, 14/07/2018) — Andrea Omicini (Andrea Omicini, Roberta Calegari)  |  Logic Programming in Space-Time: The Case of Situatedness in LPaaS (talk, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)  |  From the Blockchain to Logic Programming and back: Research perspectives (talk, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)  |  Blockchain & Smart Contracts Basics and Perspectives for MAS (tutorial, 27/06/2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto)  |  Coordination of Complex Socio-technical Systems: Challenges and Opportunities (talk, 26/06/2018) — Stefano Mariani (Stefano Mariani)  |  Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (talk, 18/06/2018) — Stefano Mariani (Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel)  |  Artificial Intelligence and Beyond: History, Perspectives, Challenges (invited talk, 08/06/2018) — Andrea Omicini (Andrea Omicini)  |  Conversational Informatics: From Conversational Systems to Communication Intelligence (talk, 20/03/2018) — Andrea Omicini (Andrea Omicini)  |  Complexity in Computational Systems: The Coordination Perspective (seminar, 15/02/2018) — Andrea Omicini (Andrea Omicini)  |  Introduzione alla Blockchain – Bitcoin, criptovalute e altre applicazioni (talk, 15/11/2017) — Giovanni Ciatto (Giovanni Ciatto)  |  Democratic process and electronic platforms: concerns of an engineer (talk, 03/11/2017) — Danilo Pianini (Danilo Pianini)  |  Programming the Interaction Space Effectively with ReSpecTX (talk, 12/10/2017) — Stefano Mariani (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)  |  Towards Argumentation-based Recommendations for Personalised Patient Empowerment (poster presentation, 31/08/2017) — Stefano Mariani (Juan Manuel Fernández, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Marco Mamei, Stefano Mariani, Franco Zambonelli)  |  Towards Argumentation-based Recommendations for Personalised Patient Empowerment (talk, 31/08/2017) — Stefano Mariani (Stefano Mariani)  |  Nature-inspired Coordination: Current Status and Research Trends (tutorial, 23/08/2017) — Andrea Omicini, Stefano Mariani (Andrea Omicini, Stefano Mariani)  |   A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (PhD presentation, 03/07/2017) — Francesco Luca De Angelis (Francesco Luca De Angelis)  |  Context Reasoning and Prediction in Smart Environments: the Home Manager case (talk, 23/06/2017) — Enrico Denti (Enrico Denti, Roberta Calegari)  |  Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tricks (invited talk, 16/06/2017) — Andrea Omicini (Andrea Omicini)  |  Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (talk, 16/06/2017) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)  |  Logic Programming as a Service (LPaaS): Intelligence for the IoT (talk, 16/05/2017) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)  |  Frontiers of Autonomous Systems (lecture, 14/03/2017) — Andrea Omicini (Andrea Omicini)  |  Aggregate Computing (lecture, 17/02/2017) — Mirko Viroli (Mirko Viroli)  |  Spatial Multi-Agent Systems (lecture, 15/02/2017) — Andrea Omicini (Andrea Omicini)  |  Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (talk, 11/10/2016) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani)  |  Towards a Foundational API for Resilient Distributed Systems Design (talk, 18/09/2016) — Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli)  |  Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (talk, 14/09/2016) — Enrico Denti (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)  |  Simulating Large-scale Aggregate MASs with Alchemist and Scala (talk, 14/09/2016) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Roberto Casadei)  |  Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (talk, 30/07/2016) — Andrea Omicini (Andrea Omicini, Francesco Degli Angeli, Michele Donati, Sara Montagna)  |  Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (talk, 30/07/2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  Game Engines to Model MAS: A Research Roadmap (talk, 30/07/2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  Towards Logic Programming as a Service: Experiments in tuProlog (talk, 29/07/2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)  |  Spatial Multi-Agent Systems (tutorial, 28/07/2016) — Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani)  |  Privacy through Anonymisation in Large-scale Socio-technical Systems: The BISON Approach (project presentation, 25/07/2016) — Andrea Omicini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)  |  Foundations of Multi-Agent Systems (tutorial, 25/07/2016) — Andrea Omicini (Andrea Omicini)  |  Labelled Variables in Logic Programming: Foundations (talk, 20/06/2016) — Roberta Calegari (Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini)  |  WP8: Legal, Ethical and Societal Issues (project presentation, 31/05/2016) — Claudia Cevenini (Claudia Cevenini)  |  Partner presentation (project presentation, 30/05/2016) — Claudia Cevenini (Claudia Cevenini, Enrico Denti)  |  WP8: Legal, Ethical and Societal Issues (project presentation, 30/05/2016) — Claudia Cevenini (Claudia Cevenini)  |  Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (PhD presentation, 12/05/2016) — Stefano Mariani (Stefano Mariani)  |  Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well, Maybe) (other talk, 10/05/2016) — Andrea Omicini (Andrea Omicini)  |  Frontiers of Autonomous Systems (lecture, 03/05/2016) — Andrea Omicini (Andrea Omicini)  |  Advanced Coordination Techniques: Experiments with TuCSoN and ReSpecT (seminar, 28/04/2016) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Software development made serious (seminar, 18/03/2016) — Danilo Pianini (Danilo Pianini)  |  Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (PhD presentation, 24/02/2016) — Stefano Mariani (Stefano Mariani)  |  BISON – Big speech data analytics for contact centers (seminar, 10/12/2015) — Claudia Cevenini (Claudia Cevenini)  |  Self-organisation of Knowledge in Socio-technical Systems: A Coordination Perspective (seminar, 06/11/2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  D8.3 Legal, ethical and societal issues of BISON - II (project presentation, 19/10/2015) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno, Silvia Bisi)  |  Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (talk, 24/09/2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Labelled Variables in Logic Programming: A First Prototype in tuProlog (talk, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)  |  Agent Environments in the Ambient Event Calculus (invited talk, 18/06/2015) — Kostas Stathis (Kostas Stathis)  |  Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (talk, 18/06/2015) — Franco Zambonelli (Andrea Omicini, Franco Zambonelli)  |  Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (talk, 03/06/2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  D8.2 Legal, ethical and societal issues of BISON. General framework (project presentation, 28/05/2015) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Silvia Bisi, Italo Cerno)  |  Frontiers of Autonomous Systems (lecture, 12/05/2015) — Andrea Omicini (Andrea Omicini)  |  Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (invited talk, 06/05/2015) — Andrea Omicini (Andrea Omicini)  |  Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (talk, 05/05/2015) — Danilo Pianini (Andrea Omicini, Danilo Pianini, Sara Montagna)  |  Protelis: Practical Aggregate Programming (talk, 16/04/2015) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)  |  Engineering Complex Computational Ecosystems (talk, 14/04/2015) — Danilo Pianini (Danilo Pianini)  |  The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems (invited talk, 13/04/2015) — Andrea Omicini (Andrea Omicini)  |  UniBO Partner introduction (project presentation, 15/01/2015) — Enrico Denti (Enrico Denti)  |  Ethical and legal support – UniBO role and activities in BISON (project presentation, 15/01/2015) — Enrico Denti (Enrico Denti)  |  Big speech data privacy issues (project presentation, 15/01/2015) — Claudia Cevenini (Claudia Cevenini)  |  Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (talk, 10/01/2015) — Roberta Calegari (Enrico Denti, Roberta Calegari)  |   Stochastic Coordination in CAS: Expressiveness & Predictability (talk, 15/12/2014) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Coordination-aware Elasticity (talk, 11/12/2014) — Hong-Linh Truong (Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar)  |  Extending a Smart Home multi-agent system with Role-Based Access Control (talk, 11/12/2014) — Marco Prandini (Enrico Denti, Marco Prandini, Roberta Calegari)  |  Design (lecture, 21/11/2014) — Paul Pangaro (Paul Pangaro)  |  Research Trends in Nature-inspired Coordination Models (lecture, 21/11/2014) — Andrea Omicini (Andrea Omicini)  |  Conversation (lecture, 21/11/2014) — Paul Pangaro (Paul Pangaro)  |  Coordination: The what, the when and the how (lecture, 21/11/2014) — René Schumann (René Schumann)  |  Coordination Games in Multi-Agent Environments (lecture, 21/11/2014) — Visara Urovi (Visara Urovi)  |  Interaction, Complexity, Coordination (lecture, 20/11/2014) — Andrea Omicini (Andrea Omicini)  |  Nature-inspired Models of Coordination (lecture, 20/11/2014) — Andrea Omicini (Andrea Omicini)  |  Human centred Cyber Physical Systems (lecture, 20/11/2014) — Benjamin Hadorn (Benjamin Hadorn)  |  Laws and Models in Physics vs Biology and the Continuum vs Discrete Interplay (lecture, 20/11/2014) — Giuseppe Longo (Giuseppe Longo)  |  Introduction to Cybernetics – 1st and 2nd order (lecture, 20/11/2014) — Paul Pangaro (Paul Pangaro)  |  Randomness and diversity in biology: comparing complexity and functional organization (seminar, 19/11/2014) — Giuseppe Longo (Giuseppe Longo)  |  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (talk, 13/11/2014) — Stefano Mariani (Stefano Mariani)  |  Oscillations Based Multi-Agent System (OSIMAS) Development (seminar, 12/11/2014) — Darius Plikynas, Andrej Cholscevnikov (Darius Plikynas, Andrej Cholscevnikov)  |  TuCSoN Coordination for MAS Situatedness: Towards a Methodology (talk, 26/09/2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework. Preliminary Notes (lecture, 25/09/2014) — Andrea Omicini (Andrea Omicini)  |  Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (talk, 23/09/2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (talk, 08/09/2014) — Stefano Mariani (Stefano Mariani)  |  Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (talk, 03/09/2014) — Stefano Mariani (Andrea Omicini, Luca Sangiorgi, Stefano Mariani)  |  Agent-based and Chemical-inspired Approaches for Multicellular Models (talk, 11/07/2014) — Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)  |  Frontiers of Autonomous Systems (lecture, 08/05/2014) — Andrea Omicini (Andrea Omicini)  |  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (seminar, 29/04/2014) — Stefano Mariani (Stefano Mariani)  |  The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy (invited talk, 24/04/2014) — Andrea Omicini (Andrea Omicini, Giovanni Sartor)  |  The Autonomy of Automated Systems (invited talk, 24/04/2014) — Giovanni Sartor (Andrea Omicini, Giovanni Sartor)  |  Research Trends in Nature-Inspired Coordination (lecture, 19/02/2014) — Andrea Omicini (Andrea Omicini)  |  Nature-inspired Models of Coordination (lecture, 12/02/2014) — Andrea Omicini (Andrea Omicini)  |  Engineering Adaptive Service Ecosystems (lecture, 12/02/2014) — Mirko Viroli (Mirko Viroli)  |  Interaction & Coordination in Distributed Systems (lecture, 05/02/2014) — Andrea Omicini (Andrea Omicini)  |  Tuple-based Coordination of Distributed Systems (lecture, 05/02/2014) — Andrea Omicini (Andrea Omicini)  |  Thou Shalt is not You Will (seminar, 08/01/2014) — Guido Governatori (Guido Governatori)  |  TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (talk, 20/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  Liability and Automation in ATM (seminar, 13/12/2013) — Giuseppe Contissa (Giuseppe Contissa)  |  Tuple-based Coordination of Stochastic Systems with Uniform Primitives (talk, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  Space-aware Coordination in ReSpecT (talk, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (talk, 02/12/2013) — Stefano Mariani (Stefano Mariani)  |  WP6 - Dissemination, Collaboration & Exploitation - 3rd Year & Final Report (project presentation, 20/11/2013) — Andrea Omicini (Andrea Omicini)  |  Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (talk, 17/09/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (invited talk, 11/09/2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci)  |  A core calculus of computational fields (talk, 11/09/2013) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)  |  Coordination for Situated MAS: Towards an Event-driven Architecture (invited talk, 25/06/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)  |  SAPERE Analysis tools (talk, 18/06/2013) — Danilo Pianini (Danilo Pianini)  |  SAPERE Methodology: Towards the Final Version (project presentation, 18/06/2013) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  WP1 at M32: State and Plans (project presentation, 18/06/2013) — Mirko Viroli (Mirko Viroli)  |  Engineering Computational Ecosystems (2nd year PhD seminar) (PhD presentation, 07/06/2013) — Danilo Pianini (Danilo Pianini)  |  Probabilistic Modular Embedding for Stochastic Coordinated Systems (talk, 04/06/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Engineering Self-organising Coordination: A Computational Field Approach (talk, 03/06/2013) — Mirko Viroli (Mirko Viroli)  |  Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective (talk, 03/06/2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci)  |  From Engineer to Alchemist, There and Back Again: An Alchemist Tale (talk, 24/05/2013) — Danilo Pianini (Danilo Pianini)  |  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (talk, 17/05/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Molecules of Knowledge: a Novel Approach over Knowledge Management (poster presentation, 11/05/2013) — Stefano Mariani (Stefano Mariani)  |  Engineering Pervasive Multiagent Systems in SAPERE (talk, 07/05/2013) — Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)  |  Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (talk, 06/05/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Composing gradients for a context-aware navigation of users in a smart-city (talk, 06/05/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna)  |  Engineering Confluent Computational Fields: from Functions to Rewrite Rules (talk, 06/05/2013) — Mirko Viroli (Mirko Viroli)  |  MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (talk, 03/04/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Spatial Computing with Chemistry (internal talk, 26/03/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna)  |  Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (poster presentation, 21/03/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Autonomy, Interaction & Complexity in Computational Systems. Preliminary Notes (invited talk, 06/03/2013) — Andrea Omicini (Andrea Omicini)  |  WP1 tools: current status and ongoing work (talk, 20/02/2013) — Danilo Pianini (Danilo Pianini)  |  SAPERE Methodology: Status & Next Steps (project presentation, 20/02/2013) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  SAPERE Methodology - The Complete Process (project presentation, 20/02/2013) — Ambra Molesini (Ambra Molesini)  |  Glocality: emergent behaviours (talk, 06/02/2013) — Mirko Viroli (Mirko Viroli)  |  SAPERE project (and relevance for CINA) (project presentation, 06/02/2013) — Mirko Viroli (Mirko Viroli)  |  Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (PhD presentation, 30/01/2013) — Andrea Santi (Andrea Santi)  |  Agent Models with Interaction: The Thermodynamics and Statistical Mechanics Perspectives (informal talk, 15/01/2013) — Pierluigi Contucci (Pierluigi Contucci)  |  The TuCSoN Coordination Model & Technology. A Guide (other talk, 09/01/2013) — Andrea Omicini, Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  Nature-inspired Coordination for Complex Multi-Agent Systems (invited talk, 18/12/2012) — Andrea Omicini (Andrea Omicini)  |  Engineering Computational Ecosystems (seminar, 05/11/2012) — Danilo Pianini (Danilo Pianini)  |  Recipes for Sabayon: cook your own Linux distro within two hours (tutorial, 27/10/2012) — Danilo Pianini (Danilo Pianini)  |  Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (talk, 21/10/2012) —  (Andrea Santi)  |  Nature-inspired Coordination for Complex Distributed Systems (invited talk, 26/09/2012) — Andrea Omicini (Andrea Omicini)  |  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (talk, 25/09/2012) — Stefano Mariani (Andrea Omicini, Stefano Mariani)  |  An Eclipse-based IDE for Agent-Oriented Programming in simpAL (talk, 21/09/2012) — Andrea Santi (Andrea Santi)  |  A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (talk, 19/09/2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli)  |  Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (talk, 19/09/2012) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)  |  Programming Distributed Multi-Agent Systems in simpAL (talk, 18/09/2012) — Andrea Santi (Andrea Santi)  |  SAPERE WP6 in Y2 – Preview (project presentation, 12/09/2012) — Andrea Omicini (Andrea Omicini)  |  Gradient-based Self-organisation Patterns of Anticipative Adaptation (talk, 11/09/2012) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)  |  Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (talk, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)  |  WP1 @ M24 Progresses and Review (project presentation, 10/09/2012) — Mirko Viroli (Mirko Viroli)  |  Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (talk, 10/09/2012) — Andrea Omicini (Andrea Omicini, Marco Alberti)  |  SAPERE Methodology Alpha Version (talk, 10/09/2012) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  Self-Organising News Management: The Molecules of Knowledge Approach (talk, 10/09/2012) — Stefano Mariani (Stefano Mariani, Andrea Omicini)  |  SAPERE WP6 Issues (project presentation, 11/06/2012) — Sara Montagna (Andrea Omicini, Sara Montagna)  |  WP1 @ M21. Progresses and Plan (talk, 11/06/2012) — Mirko Viroli (Mirko Viroli)  |  Alchemist simulator: ready for M20 release (project presentation, 11/06/2012) — Danilo Pianini (Danilo Pianini)  |  Conceptual approaches to Semantic IR System (informal talk, 06/06/2012) — Antonella Carbonaro (Antonella Carbonaro)  |  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (informal talk, 06/06/2012) — Stefano Mariani (Stefano Mariani)  |  Typing Multi-Agent Programs in simpAL (talk, 05/06/2012) —  (Andrea Santi)  |  Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure (talk, 05/06/2012) — Olivier Boissier (Alexandru Sorici, Gauthier Picard, Olivier Boissier, Andrea Santi, Jomi  F. Hübner)  |  The simulation alchemy (seminar, 08/05/2012) — Danilo Pianini (Danilo Pianini, Sara Montagna)  |  Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (poster presentation, 29/03/2012) — Mirko Viroli (Andrea Omicini)  |  Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (talk, 28/03/2012) — Mirko Viroli (Mirko Viroli)  |  A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (talk, 28/03/2012) — Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)  |  Agent-Oriented Computing (seminar, 15/03/2012) — Alessandro Ricci (Alessandro Ricci, Andrea Santi)  |  Self-adaptive Service Ecosystems for Pervasive Computing (seminar, 15/03/2012) — Mirko Viroli (Mirko Viroli)  |  SAPERE WP6 Towards M24 (project presentation, 28/02/2012) — Andrea Omicini (Andrea Omicini)  |  WP1 @ M17. Progresses and Plan  (project presentation, 27/02/2012) — Mirko Viroli (Mirko Viroli)  |  SAPERE Methodology: A first sketch (project presentation, 27/02/2012) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  Alchemist simulator (project presentation, 27/02/2012) — Danilo Pianini (Danilo Pianini)  |  FuturICT: An Introduction (project presentation, 14/02/2012) — Andrea Omicini (Andrea Omicini)  |  UniBo middleware prototype and eco-laws language  (project presentation, 29/11/2011) — Danilo Pianini (Danilo Pianini)  |  WP6 – Dissemination, Collaboration & Exploitation (project presentation, 15/11/2011) — Andrea Omicini (Andrea Omicini, Roberta Centonze, Franco Zambonelli, Marco Mamei)  |  From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach  (lecture, 11/11/2011) — Franco Zambonelli (Franco Zambonelli)  |  Coordination Models and Technologies toward Self-Organising Systems (lecture, 04/11/2011) — Andrea Omicini (Andrea Omicini)  |  Exploiting the JaCaMo framework for realising an adaptive room governance application (talk, 24/10/2011) — Andrea Santi (Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi)  |  Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (talk, 24/10/2011) — Andrea Santi (Andrea Santi)  |  JaCa-Android: an agent-based platform for building smart mobile applications (talk, 24/10/2011) — Andrea Santi (Andrea Santi)  |  Agent-Oriented Programming for Developing Modern Software Systems (PhD presentation, 21/10/2011) — Andrea Santi (Andrea Santi)  |  Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development (talk, 26/09/2011) — Andrea Santi (Andrea Santi)  |  Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (talk, 23/09/2011) — Andrea Santi (Andrea Santi, Antonio Natali)  |  A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems  (talk, 19/09/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)  |  Coordination Models and Technologies toward Self-Organising Systems (invited talk, 31/08/2011) — Andrea Omicini (Andrea Omicini)  |  Towards Adaptive Service Ecosystems with Agreement Technologies (internal talk, 24/08/2011) — José Santiago Pérez-Sotelo (José Santiago Pérez-Sotelo, Carlos E. Cuesta, Sascha Ossowski)  |  A Simulation Framework for Pervasive Service Ecosystems (talk, 06/07/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)  |  A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (talk, 06/07/2011) — Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)  |  BaSi: Multi-Agent Based Simulation for Medieval Battles (talk, 05/07/2011) — Andrea Omicini (Ambra Molesini, Andrea Omicini, Enrico Denti)  |  Coordination Models and Languages: From Parallel Computing to Self-Organisation (lecture, 04/07/2011) — Andrea Omicini (Andrea Omicini)  |  Tesi on line (other talk, 30/06/2011) — Andrea Omicini (Andrea Omicini)  |  WP1 Activities: General state, details on the model, future plans (project presentation, 24/06/2011) — Mirko Viroli (Mirko Viroli)  |  A Prototype of LSA-space (project presentation, 24/06/2011) — Elena Nardini (Elena Nardini)  |  SAPERE WP6 @ M9 (project presentation, 24/06/2011) — Andrea Omicini (Andrea Omicini)  |  An application of the WP1 computational model to a real scenario (talk, 23/06/2011) — Sara Montagna (Sara Montagna)  |  Alchemist is a SAPERE-oriented simulator (project presentation, 23/06/2011) — Danilo Pianini (Danilo Pianini)  |  Alchemist is a SAPERE-oriented simulator (project presentation, 14/06/2011) — Danilo Pianini (Danilo Pianini)  |  Dynamic Social Networks: Modeling Trust, Shocks and Hype (lecture, 07/06/2011) — Marco Cremonini, Luca Allodi (Marco Cremonini, Luca Allodi)  |  Semantic and Fuzzy Coordination Through Programmable Tuple Spaces (seminar, 31/05/2011) — Elena Nardini (Elena Nardini)  |  Bio-ICT Convergence: Filling the Gap Between Computer Science and Biology (seminar, 24/05/2011) — Sara Montagna (Sara Montagna)  |  Multi-level models and infrastructures for simulating biological system development (PhD presentation, 28/04/2011) — Sara Montagna (Sara Montagna)  |  Semantic Coordination Through Programmable Tuple Spaces (PhD presentation, 28/04/2011) — Elena Nardini (Elena Nardini)  |  SAPERE WP6 Short Overall Report – M1-M4 (project presentation, 20/01/2011) — Andrea Omicini (Andrea Omicini)  |  WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (project presentation, 20/01/2011) — Mirko Viroli (Mirko Viroli)  |  WP1 Activities. General state, details on the model, future plans (project presentation, 19/01/2011) — Mirko Viroli (Mirko Viroli)  |  Multi-Level Models and Infrastructures for Simulating  Biological System Development  (PhD presentation, 17/01/2011) — Sara Montagna (Sara Montagna)  |  Semantic Coordination Through Programmable Tuple Spaces (PhD presentation, 17/01/2011) — Elena Nardini (Elena Nardini)  |  Description Logics (seminar, 17/12/2010) — Elena Nardini (Elena Nardini)  |  SAPERE: Self-aware Pervasive Service Ecosystems  (project presentation, 14/12/2010) — Franco Zambonelli (Franco Zambonelli)  |  Simulation & Multi-Agent Systems: An Introduction (seminar, 14/12/2010) — Sara Montagna ()  |  Tutorial on Semantic Web (tutorial, 25/11/2010) — Ivan Herman (Ivan Herman)  |  Multi-level Approaches for a Deep Analysis of Morphogenesis in Living Systems (talk, 08/11/2010) — Sara Montagna (Sara Montagna)  |  SAPERE: WP1 - Model & Methodology (project presentation, 05/10/2010) — Mirko Viroli ()  |  SAPERE: WP6 - Dissemination (project presentation, 05/10/2010) — Andrea Omicini (Andrea Omicini, Franco Zambonelli)  |  Self Organization in Coordination Systems using a WordNet-based Ontology (talk, 30/09/2010) — Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli)  |  Documenting SODA: An Evaluation of the Process Documentation Template (talk, 07/09/2010) — Ambra Molesini (Ambra Molesini, Andrea Omicini)  |  A Self-Organising Infrastructure for Chemical-Semantic Coordination (talk, 07/09/2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)  |  A Multiscale Agent-based Model of Morphogenesis in Biological Systems (talk, 06/09/2010) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Sara Montagna)  |  Exploiting Agent-Oriented Programming for Developing Android Applications (talk, 06/09/2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci)  |  From Coordination to Semantic Self-Organisation: A Perspective on the Engineering of Complex Systems (lecture, 05/09/2010) — Andrea Omicini (Andrea Omicini)  |  Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (talk, 01/09/2010) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci)  |  Developing Web Client Applications with JaCa-Web (talk, 01/09/2010) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci)  |  JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (talk, 01/09/2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci)  |  From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (talk, 25/08/2010) — Andrea Santi (Andrea Santi)  |  Multi-Agent Programming (lecture, 23/08/2010) — Olivier Boissier, Rafael H. Bordini, Mehdi Dastani, Jomi Hübner, Alessandro Ricci (Olivier Boissier, Rafael H. Bordini, Mehdi Dastani, Jomi Hübner, Alessandro Ricci)  |  Agents & MAS: An Introduction (lecture, 23/08/2010) — Andrea Omicini (Andrea Omicini)  |  Agent Oriented Software Engineering (seminar, 28/06/2010) — Ambra Molesini (Ambra Molesini)  |  A Framework for Modelling and Simulating Networks of Cells  (talk, 10/06/2010) — Sara Montagna (Sara Montagna)  |  Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (seminar, 25/05/2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)  |  Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (talk, 11/05/2010) — Andrea Santi (Andrea Santi, Michele Piunti)  |  Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments - European PhD (PhD presentation, 30/04/2010) — Michele Piunti (Michele Piunti)  |  Towards model-driven communications (talk, 29/04/2010) — Ambra Molesini (Antonio Natali, Ambra Molesini)  |  Computational Agents & Artefacts (lecture, 13/04/2010) — Andrea Omicini (Andrea Omicini)  |  Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (talk, 26/03/2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)  |  Chemical-Inspired Self-Composition of Competing Services (talk, 26/03/2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei)  |  Building an Agent Methodology from Fragments: the MEnSA experience  (talk, 25/03/2010) — Ambra Molesini (Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini)  |  Risk Analysis and Deployment Security Issues in a Multi-Agent System (talk, 22/01/2010) — Ambra Molesini (Ambra Molesini, Elena Nardini, Marco Prandini, Enrico Denti)  |  Designing and Programming Organisational Infrastructures for Agents situated in Artifact-based Environments (PhD presentation, 14/01/2010) — Michele Piunti (Michele Piunti)  |  Agent-based Models, Technologies and Methodologies for the Engineering of Software Systems in the Context of Open Scenarios (PhD presentation, 14/01/2010) — Elena Nardini (Elena Nardini)  |  Generic Programming Constructs and Applications in Object-Oriented Languages (seminar, 13/01/2010) — Maurizio Cimadamore (Maurizio Cimadamore)  |  Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (invited talk, 02/12/2009) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)  |  Coordination in Open and Dynamic Environments via TuCSoN Semantic Tuple Centres  (seminar, 18/11/2009) — Elena Nardini (Elena Nardini)  |  Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS (talk, 14/10/2009) — Andrea Santi (Andrea Santi)  |  Towards a framework for multi-level modelling in Computational Biology (talk, 14/10/2009) — Sara Montagna (Sara Montagna)  |  An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks (talk, 22/09/2009) — Onder Gurcan (Onder Gurcan)  |  Embodying Organisations in Multi-Agent Work Environments (talk, 17/09/2009) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner)  |  Embodied Organisations in MAS Environments (talk, 11/09/2009) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner)  |  Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (talk, 09/09/2009) — Andrea Santi (Alessandro Ricci, Andrea Santi, Michele Piunti)  |  Exploiting Agent Observability in Multi-Agent  System Programming (talk, 09/09/2009) — Michele Piunti (Alessandro Ricci, Michele Piunti)  |  Agent Oriented Software Engineering (lecture, 31/08/2009) — Ambra Molesini, Massimo Cossentino (Ambra Molesini, Massimo Cossentino)  |  Agents & MAS: An Introduction (lecture, 31/08/2009) — Andrea Omicini (Andrea Omicini)  |  SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (talk, 10/07/2009) — Andrea Santi (Andrea Santi, Michele Piunti)  |  A Computational Framework for Multilevel Morphologies  (talk, 19/06/2009) — Sara Montagna (Sara Montagna, Mirko Viroli)  |  Design of SOA/WS applications using an Agent-based approach  (seminar, 12/06/2009) — Andrea Santi, Michele Piunti (Andrea Santi, Michele Piunti)  |  Programming Agents with Jason (seminar, 10/06/2009) — Jomi Hübner (Jomi Hübner)  |  Environment Programming in MAS with CArtAgO (talk, 10/06/2009) — Alessandro Ricci (Alessandro Ricci, Michele Piunti)  |  Organisation-Oriented Programming of MAS (seminar, 10/06/2009) — Olivier Boissier (Olivier Boissier, Jomi F. Hübner, Rosine Kitio, Michele Piunti, Alessandro Ricci, Jaime Simão Sichman)  |  A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (talk, 21/05/2009) — Mirko Viroli (Sara Montagna, Mirko Viroli)  |  An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (talk, 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei)  |  Agent Oriented Software Engineering Methodologies (invited talk, 13/05/2009) — Andrea Omicini (Andrea Omicini)  |  Introducing Relevance Awareness in BDI Agents  (talk, 12/05/2009) — Michele Piunti (Michele Piunti)  |  Un approccio multi-agente / sistemi blackboard per l'esplorazione di problemi complessi in biologia strutturale (seminar, 22/04/2009) — Pedro Pablo González Pérez (Pedro Pablo González Pérez)  |  Embodying Organisations - an Introduction  (seminar, 10/04/2009) — Michele Piunti (Michele Piunti)  |  Self-Organising Coordination Systems (talk, 08/04/2009) — Matteo Casadei (Matteo Casadei)  |  A Framework for Modelling and Implementing Self-Organising Coordination (talk, 10/03/2009) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)  |  Situated Tuple Centres in ReSpecT (talk, 10/03/2009) — Andrea Omicini (Andrea Omicini)  |  Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (talk, 09/03/2009) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  An Agent-based Application for Home Intelligence (talk, 20/01/2009) — Andrea Omicini (Andrea Omicini, Ambra Molesini)  |  From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (talk, 09/01/2009) — Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)  |  From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS  (talk, 18/12/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti)  |  SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures  (talk, 17/12/2008) — Ambra Molesini (Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini)  |  Goal-Directed Interactions in Artifact-Based MAS:  Jadex Agents playing in CARTAGO Environments   (talk, 11/12/2008) — Michele Piunti (Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr)  |  Programming BDI agents in Jadex  (lecture, 25/11/2008) — Michele Piunti (Michele Piunti)  |  Coordination in Multi-agent Systems (seminar, 20/11/2008) — Elena Nardini (Elena Nardini, Andrea Omicini)  |  SODA+TuCSoN:  Methodologies' and Infrastructures' Processes (project presentation, 19/11/2008) — Ambra Molesini (Ambra Molesini)  |  MEnSA: Résumé of Activities (project presentation, 19/11/2008) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS (talk, 18/11/2008) — Andrea Omicini (Alessandro Ricci, Michele Piunti)  |  Model-driven Generation of Graphical Maps for e-Contents (talk, 18/11/2008) — Enrico Oliva (Enrico Oliva)  |  Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (talk, 17/11/2008) — Ambra Molesini (Andrea Omicini, Ambra Molesini)  |  Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (talk, 17/11/2008) — Fabiano Dalpiaz (Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita)  |  Arguments and Artifacts for Dispute Resolution (talk, 17/11/2008) — Andrea Omicini (Enrico Oliva, Andrea Omicini)  |  DA A AD A : Towards a Cognitive Use of Artifacts in MAS (talk, 13/11/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti)  |  Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (talk, 23/10/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei)  |  A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (talk, 26/09/2008) — Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri)  |  RBAC-MAS & SODA: Experimenting RBAC in AOSE (talk, 25/09/2008) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)  |  Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing  in Environments (talk, 17/09/2008) — Emiliano Lorini (Alessandro Ricci, Michele Piunti)  |  Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (talk, 11/09/2008) — Andrea Roli (Andrea Omicini, Sara Montagna)  |  Adaptive Coordination Models for Pervasive Environments (invited talk, 07/09/2008) — Andrea Omicini (Andrea Omicini)  |  Goal Directed Agents using Artifacts   (seminar, 04/09/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti)  |  A Framework for Collaborative-Learning Systems Based on Agent Technologies (talk, 01/09/2008) — Elena Nardini (Elena Nardini, Andrea Omicini)  |  Environment Programming in MAS: CARTAGO and Friends (talk, 04/08/2008) — Alessandro Ricci (Alessandro Ricci, Michele Piunti)  |  ReSpecT: Teaching The Old Dog New Tricks (seminar, 04/08/2008) — Andrea Omicini (Andrea Omicini)  |  Experiment with Stochastic Prolog as Simulation Language (talk, 10/07/2008) — Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)  |  Scenari di sviluppo delle strategie web (informal talk, 03/07/2008) — Luca Garlaschelli (Luca Garlaschelli, Francesca Mazzaglia)  |  MEnSA: Résumé of Activities (project presentation, 30/06/2008) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  Case Study in SODA (project presentation, 30/06/2008) — Ambra Molesini (Ambra Molesini)  |  WP4: Case Study — Virtual Laboratory for Protein Structure Prediction (project presentation, 30/06/2008) — Sara Montagna (Sara Montagna)  |  Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (talk, 24/06/2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)  |  Situating A&A ReSpecT for Pervasive Environment Applications (talk, 24/06/2008) — Matteo Casadei (Andrea Omicini, Matteo Casadei)  |  A Conceptual Framework for Collaborative Learning Systems (project presentation, 26/05/2008) — Elena Nardini (Elena Nardini, Andrea Omicini)  |  ReSpecT in the A&A Perspective (internal talk, 23/05/2008) — Matteo Casadei (Andrea Omicini, Matteo Casadei)  |  Argumentation and Artifact for Dialogue Support (talk, 12/05/2008) — Enrico Oliva (Enrico Oliva)  |  Argumentation and Artifacts for Intelligent Multi-agent Systems (PhD presentation, 07/04/2008) — Enrico Oliva (Enrico Oliva)  |  Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (PhD presentation, 07/04/2008) — Ambra Molesini (Ambra Molesini)  |  Capabilities for Coordination: From Rights to Responsibilities (internal talk, 27/03/2008) — Alan Wood (Alan Wood)  |  SPEM on Test: The SODA Case Study (talk, 19/03/2008) — Andrea Omicini (Elena Nardini, Andrea Omicini)  |  The Architecture and Design of a Malleable Object-Oriented Prolog Engine (talk, 18/03/2008) — Andrea Omicini (Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci)  |  Self-Organising Approaches to Coordination (seminar, 06/03/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei)  |  Toward a Framework for Collaborative Learning Based on Agent-based Technologies (talk, 03/03/2008) — Elena Nardini (Elena Nardini, Andrea Omicini, Maria Cristina Matteucci)  |  On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions (talk, 19/02/2008) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)  |  Web Logic Programming (internal talk, 31/01/2008) — Giulio Piancastelli (Giulio Piancastelli)  |  MEnSA: What UNIBO has to do (project presentation, 22/01/2008) — Ambra Molesini (Ambra Molesini)  |  MEnSA: Résumé of the first year of Activities (project presentation, 21/01/2008) — Andrea Omicini (Ambra Molesini, Andrea Omicini)  |  MEnSA: Outlook of the 2nd year of Activity (project presentation, 21/01/2008) — Andrea Omicini (Andrea Omicini, Ambra Molesini)  |  MEnSA: what UNIBO has done (project presentation, 21/01/2008) — Ambra Molesini (Ambra Molesini)  |  SPEM on test: the SODA case study (talk, 07/12/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)  |  Maude: A Language for Concurrent Rewriting  (seminar, 29/11/2007) — Matteo Casadei (Matteo Casadei)  |  The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (PhD presentation, 06/11/2007) — Matteo Casadei (Matteo Casadei)  |  From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (talk, 24/10/2007) — Andrea Omicini (Andrea Omicini, Ambra Molesini)  |  Report on Technological tools/Platform usage (project presentation, 22/10/2007) — Elena Nardini (Andrea Omicini, Elena Nardini)  |  Using Eclipse in Building Model-driven e-Learning Supports (talk, 05/10/2007) — Enrico Oliva (Enrico Oliva, Antonio Natali)  |  Software Architecture (internal talk, 03/10/2007) — Ambra Molesini (Ambra Molesini)  |  On the Interplay of Crosscutting and MAS-Specific Styles (talk, 25/09/2007) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)  |  SPEM on test: the SODA case study (internal talk, 21/09/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)  |  A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (talk, 12/09/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)  |  About my 6 months in Lancaster (internal talk, 27/07/2007) — Ambra Molesini (Ambra Molesini)  |  Agents & Artifacts: A Meta-Model for Agent-Oriented Computing (lecture, 23/07/2007) — Andrea Omicini (Andrea Omicini)  |  On the Problem of Over-clustering in Tuple-based Coordination Systems (talk, 11/07/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)  |  Matteo Casadei's Research Activity (internal talk, 15/06/2007) — Matteo Casadei (Matteo Casadei)  |  Attività svolte da Elena Nardini (internal talk, 15/06/2007) — Elena Nardini (Elena Nardini)  |  MEnSA - Methodologies for the Engineering of complex Software system: Agent-based approach (project presentation, 04/06/2007) — Andrea Omicini (Andrea Omicini, Ambra Molesini)  |  UNIBO: Multi-Agent System Infrastructure (project presentation, 04/06/2007) — Ambra Molesini (Ambra Molesini)  |  Designing Self-Organizing Multiagent Systems (seminar, 23/02/2007) — Matteo Casadei (Matteo Casadei)  |  The SODA Methodology (seminar, 13/02/2007) — Ambra Molesini (Ambra Molesini)  |  Conference Management Case Study (seminar, 13/02/2007) — Ambra Molesini (Ambra Molesini)  |  A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk, 15/12/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)  |  OWL-S for Describing Artifacts (talk, 14/12/2006) — Ambra Molesini (Rossella Rubino, Ambra Molesini, Enrico Denti)  |  Introduction to Maude rewriting language (seminar, 23/11/2006) — Matteo Casadei (Matteo Casadei)  |  Agents & Artifacts: The A&A Meta-model for MAS Modelling & Engineering. Ideas & Examples (invited talk, 17/11/2006) — Andrea Omicini (Andrea Omicini)  |  Collective Sorting Tuple Spaces (talk, 27/09/2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)  |  Software Engineering Methodologies: The Agent Approach (talk, 22/09/2006) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)  |  Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (talk, 22/09/2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)  |  Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (talk, 31/08/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)  |  Formal ReSpecT in the A&A Perspective (talk, 31/08/2006) — Andrea Omicini (Andrea Omicini)  |  La coordinazione di agenti software (seminar, 23/04/2006) — Andrea Omicini (Andrea Omicini)  |  Artefacts and Workspaces for the Engineering of Multiagent Systems (lecture, 11/11/2005) — Andrea Omicini (Andrea Omicini)  |  SODA: A Roadmap to Artefacts (talk, 28/10/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)  |  MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (talk, 17/09/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)  |  Artefacts in Agent-Oriented Software Engineering  (talk, 16/09/2005) — Ambra Molesini (Ambra Molesini)  |  Spaces for Programming Languages in MASs: A Perspective on Coordination, Organisation & Security (invited talk, 15/09/2005) — Andrea Omicini (Andrea Omicini)  |  Web Services Choreography and Choreography Description Language WS-CDL (seminar, 01/09/2005) — Enrico Oliva (Enrico Oliva)  |  A Framework for Engineering Interactions in Java-based Component Systems (talk, 28/08/2005) — Enrico Oliva (Enrico Oliva)  |  Zooming Multi-Agent Systems (talk, 26/07/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)  |  Field-based Coordination (lecture, 29/04/2005) — Franco Zambonelli, Marco Mamei (Franco Zambonelli, Marco Mamei)  |  Agens Faber: Toward A Theory of Artifacts for MAS (invited talk, 23/04/2005) — Andrea Omicini (Andrea Omicini)  |  Trends & Experiences in MAS Infrastructures (seminar, 22/04/2005) — Andrea Omicini (Andrea Omicini)  |  A Conceptual Framework for Self-Organising MAS (talk, 16/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)  |  Creatività tecnica come obbiettivo didattico (invited talk, 18/11/2004) — Andrea Omicini (Andrea Omicini)  |  Trends & Experiences in MAS Infrastructures (seminar, 15/07/2004) — Andrea Omicini (Andrea Omicini)  |  Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (lecture, 07/07/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini)  |  Trends in MAS Infrastructures (invited talk, 30/06/2004) — Andrea Omicini (Andrea Omicini)  |  Sistemi ad agenti intelligenti (seminar, 11/05/2004) — Andrea Omicini (Andrea Omicini)  |  Towards Seamless Agent Middleware (talk, 19/12/2003) — Andrea Omicini (Andrea Omicini, Giovanni Rimassa)  |  Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (talk, 19/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)  |  Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (talk, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)  |  Rethinking MAS Infrastructure based on Activity Theory (talk, 18/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Sascha Ossowski)  |  Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (tutorial, 14/07/2003) — Alessandro Ricci, Andrea Omicini (Alessandro Ricci, Andrea Omicini)  |  Framing Coordination: Early Notes (invited talk, 03/02/2003) — Alessandro Ricci, Andrea Omicini (Alessandro Ricci, Andrea Omicini)  |  Declarative Technologies for Internet and Agent Systems (talk, 25/10/2002) — Andrea Omicini (Andrea Omicini)  |  Agents and Automatic Web Services (invited talk, 26/09/2002) — Andrea Omicini (Andrea Omicini)  |  Social Issues in the Construction of Agent Systems (tutorial, 14/07/2002) — Andrea Omicini (Andrea Omicini)  |  Imprese e ICT: problematiche e opportunità (invited talk, 03/07/2002) — Andrea Omicini (Andrea Omicini)  |  On the Notion of Agent Coordination Context (invited talk, 14/12/2001) — Alessandro Ricci, Andrea Omicini (Andrea Omicini)  |  Context and C3 (Communication, Coordination and Cooperation) (invited talk, 05/12/2001) — Andrea Omicini (Andrea Omicini)  |  On the Notion of Agent Coordination Context: Preliminary Notes (talk, 05/09/2001) — Andrea Omicini (Andrea Omicini)  |  Objective versus Subjective Coordination in the Engineering of Agent Systems (invited talk, 09/07/2001) — Andrea Omicini, Sascha Ossowski (Andrea Omicini, Sascha Ossowski)  |  Engineering Internet Agents Applications via Coordination (tutorial, 28/05/2001) — Andrea Omicini, Franco Zambonelli (Andrea Omicini, Franco Zambonelli)  |  Coordination Services for Agent Infrastructures (invited talk, 22/02/2001) — Andrea Omicini (Andrea Omicini)  |  Coordination Technologies for Internet Agents (tutorial, 08/01/2001) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini)  |  Coordination Technologies for Internet Agents (tutorial, 13/09/2000) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini)  |  Towards Robust Distributed Systems (invited talk, 19/07/2000) — Eric A. Brewer (Eric A. Brewer)  |  Coordination Technologies for Internet Agents (tutorial, 03/06/2000) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini)  |  Coordination Technologies for Internet Agents (tutorial, 03/10/1999) — Franco Zambonelli, Andrea Omicini, Paolo Ciancarini (Franco Zambonelli, Andrea Omicini, Paolo Ciancarini)  |  Coordinazione: Ingegneria dell'interazione (informal talk, 19/05/1999) — Andrea Omicini (Andrea Omicini)  |  Coordinazione: Ingegneria dell'interazione (seminar, 19/05/1998) — Andrea Omicini (Andrea Omicini)  |  Beyond Computation: Coordination — Managing the Complexity of Interaction (seminar, 15/01/1998) — Andrea Omicini (Andrea Omicini)  |  Embedding Intelligence into Coordination: The ACLT Model (seminar, 15/01/1998) — Andrea Omicini (Andrea Omicini)  |  Coordination: Constraining the Space of Interaction (seminar, 08/12/1996) — Andrea Omicini (Andrea Omicini)  |  Programmazione logica a vincoli (seminar, 24/01/1996) — Andrea Omicini (Andrea Omicini)  |  Models and Paradigms of Interaction (tutorial, 15/10/1995) — Peter Wegner (Peter Wegner)  |  Object-Oriented Computations in Logic Programming (talk, 07/06/1994) — Andrea Omicini (Andrea Omicini, Antonio Natali)  |  Il prototipo APPEAL (project presentation, 13/06/1993) — Andrea Omicini, Antonio Natali (Andrea Omicini, Antonio Natali, Cristina Ruggieri)  |  Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (talk, 18/06/1992) — Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti)  |  Implementing Contexts in Logic Programming (talk, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)

Tags:
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY