Per Year
519
talks
/
1992–2023
- Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (talk, WOA 2023) — Giovanni Ciatto (Federico Sabbatini, Roberta Calegari)
- Peer-Reviewed Federated Learning (talk, WOA 2023) — Andrea Omicini (Mattia Passeri, Andrea Agiollo, Andrea Omicini)
- Collaborative Decision-Making in Hybrid Agent Systems: a Synergy between Neural and Symbolic Capabilities (phd) — Andrea Rafanelli (Andrea Rafanelli)
- Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (talk, ECAI-2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
- Intelligent Systems Engineering: Course presentation (informal, Presentazione dei corsi a scelta per la laurea magistrale “Ingegneria e scienze informatiche”) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto)
- Measuring Trustworthiness in Neuro-Symbolic Integration (invited, FedCSIS 2023) — Andrea Omicini (Andrea Omicini, Andrea Agiollo)
- Multi-Agent Systems & Project Work in Multi-Agent Systems: Presentation of the Courses (informal, Welcome Day of the Master Degree Program in Artificial Intelligence) — Andrea Omicini (Andrea Omicini, Roberta Calegari)
- Explainable Clustering with CREAM (talk, KR 2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
- Symbolic Transfer Learning through Knowledge Manipulation Methods (talk, KR 2023 Doctoral Consortium@KR 2023) — Matteo Magnini (Matteo Magnini)
- Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (talk, KoDis 2023@KR 2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
- ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (talk, KoDis 2023@KR 2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
- XAI: Current Frontiers and the Path Ahead Towards Trustworthy AI (talk, XLoKR 2023 - Explainable Logic-Based Knowledge Representation KR 2023) — Roberta Calegari (Roberta Calegari)
- Assessing and Enforcing Fairness in the AI Lifecycle (talk, Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023)) — Roberta Calegari (Roberta Calegari, Gabriel Gonzalez Castane, Michela Milano, Barry O'Sullivan)
- eXplainable Artificial Intelligence (XAI): A Gentle Introduction (lecture, ASAI-ER 2023) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- Intelligent Agents: A Gentle Introduction (lecture, ASAI-ER 2023) — Giovanni Ciatto (Giovanni Ciatto)
- On the role of computational logic in MAS: practice with 2P-Kt (invited, EASSS23) — Giovanni Ciatto (Giovanni Ciatto)
- GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (talk, EuroS&P 2023) — Andrea Agiollo, Enkeleda Bardhi (Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini)
- Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (talk, EXTRAAMAS 2023@AAMAS 2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
- A General-Purpose Protocol for Multi-Agent based Explanations (talk, EXTRAAMAS 2023@AAMAS 2023) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini, Berk Buzcu, Reyhan Aydoğan, Andrea Omicini)
- The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (talk, EXTRAAMAS 2023@AAMAS 2023) — Andrea Agiollo (Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini)
- eXplainable Artificial Intelligence (XAI): A Gentle Introduction (lecture, Programma formativo BBS “BPER – Data Analytics”) — Andrea Omicini, Giovanni Ciatto, Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (talk, AAAI Spring Symposium 2023 – AITA: AI Trustworthiness Assessment) — Roberta Calegari (Federico Sabbatini, Roberta Calegari)
- Resource-Friendly Artificial Intelligence (seminar) — Andrea Agiollo (Andrea Agiollo)
- On the role of abductive reasoning in semantic image segmentation (talk, AIxIA 2022) — Andrea Rafanelli (Andrea Rafanelli, Stefania Costantini, Andrea Omicini)
- Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (talk, AIxIA 2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- Symbolic Knowledge Extraction via PSyKE. A Tutorial (tutorial, PRIMA 2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini, Federico Sabbatini)
- Symbolic Knowledge Injection via PSyKI. A Tutorial (tutorial, PRIMA 2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini)
- Kick-off meeting – Project Introduction (project, AEQUITAS Kick-off Meeting) — Roberta Calegari (Roberta Calegari)
- Legal reasoning: argumentation and explanation (other sort, Last-JD Board) — Giuseppe Pisano (Giuseppe Pisano)
- Panel: Tackling Bias and Unfairness in AI (panel, Responsible AI Conference 2022 (R.AI 2022)) — Roberta Calegari (Roberta Calegari)
- Tackling Bias and Unfairness in AI (talk, Responsible AI Conference 2022 (R.AI 2022)) — Roberta Calegari (Roberta Calegari)
- Dive into Symbolic Knowledge Extraction & Injection: gentle introduction and technologies (seminar, KDD Lab reading group 2022, University of Pisa) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto)
- Arguing about the existence of conflicts (talk, COMMA 2022) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Giovanni Sartor, Henry Prakken)
- Explainable Pervasive Intelligence with Self-explaining Agents (invited, PICom 2022) — Andrea Omicini (Andrea Omicini)
- Computational argumentation and symbolic reasoning for explainable (talk, 1st International Workshop on Argumentation for eXplainable AI (ArgXAI)) — Roberta Calegari (Roberta Calegari)
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (talk, WOA 2022) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (talk, WOA 2022) — Andrea Rafanelli (Andrea Agiollo, Andrea Rafanelli, Andrea Omicini)
- A view to a KILL: Knowledge Injection via Lambda Layer (talk, WOA 2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (talk, KR 2022) — Roberta Calegari (Federico Sabbatini, Roberta Calegari)
- GNN2GNN: Graph Neural Networks to Generate Neural Networks (talk, UAI 2022) — Andrea Agiollo (Andrea Agiollo, Andrea Omicini)
- GNN2GNN: Graph Neural Networks to Generate Neural Networks (poster, UAI 2022) — Andrea Agiollo (Andrea Agiollo, Andrea Omicini)
- Logic Programming library for Machine Learning: API design and prototype (talk, CILC 2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Castiglio, Roberta Calegari)
- Clustering-Based Approaches for Symbolic Knowledge Extraction (talk, KR 2022 – ML Session@KR 2022) — Roberta Calegari (Federico Sabbatini, Roberta Calegari)
- Grounding Trustworthy AI: from high-level principles to technical requirements (talk, IJCAI-ECAI 22) — Roberta Calegari (Roberta Calegari, Michela Milano, Catelijne Muller)
- Human-centric AutoML via Argumentation (seminar, ICR Seminars) — Giuseppe Pisano (Giuseppe Pisano, Joseph Giovanelli)
- KINS: Knowledge Injection via Network Structuring (talk, CILC 2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- SKI: Symbolic Knowledge Injection, state of the art and research perspectives (project, EXPECTATION Meeting) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- Overcoming human bias – Sex and gender in research on artificial intelligence (talk, European Research Area (ERA) Workshop) — Roberta Calegari (Roberta Calegari)
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (talk, EXTRAAMAS 2022@AAMAS 2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE (talk, EXTRAAMAS 2022@AAMAS 2022) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini)
- On the Integration of Symbolic and Sub-symbolic – Explaining by Design (seminar, Italian National PhD Program in Artificial Intelligence) — Andrea Omicini (Andrea Omicini, Roberta Calegari, Giovanni Ciatto)
- Legal reasoning: argumentation and explanation (other sort, Last-JD Board) — Giuseppe Pisano (Giuseppe Pisano)
- Explaining conflicts of norms in criminal matters: an argumentation approach (talk, AICOL 2021) — Marco BIlli (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
- Neuro-Symbolic Deep Deductive Reasoning (invited, AIxIA 2021) — Pascal Hitzler (Pascal Hitzler)
- Probabilistic logic programming in 2P-Kt (talk, AIxIA 2021) — Giovanni Ciatto (Jason Dellaluce, Roberta Calegari, Giovanni Ciatto)
- Modular logic argumentation in Arg-tuProlog (talk, AIxIA 2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
- Burden of persuasion in argumentation: A meta-argumentation approach (talk, AIxIA 2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (invited, CLAR 2021) — Giovanni Sartor (Roberta Calegari, Giovanni Sartor)
- Embedding Artificial Intelligence into Constrained Devices (talk, PhD 1st-year report) — Andrea Agiollo (Andrea Agiollo)
- Explainability through argumentation in logic programming (talk, CAUSAL 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, CILC 2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
- Towards cooperative argumentation for MAS: an Actor-based approach (talk, WOA 2021) — Roberta Calegari (Giuseppe Pisano, Roberta Calegari, Andrea Omicini)
- Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap (talk, WOA 2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (talk, WOA 2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
- The Burden of Persuasion in Structured Argumentation (talk, International Conference on Artificial Intelligence and Law 2021) — Giovanni Sartor (Roberta Calegari, Régis Riveret, Giovanni Sartor)
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (talk, JELIA 2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (talk, AAMAS 2021) — Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini)
- Agents Explaining to Agents (panel, EXTRAAMAS 2021@AAMAS 2021) — Andrea Omicini (Andrea Omicini)
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (talk, EXTRAAMAS 2021@AAMAS 2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini)
- Towards Explainable Visionary Agents: License to Dare and Imagine (talk, EXTRAAMAS 2021@AAMAS 2021) — Amro Najjar (Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi)
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (talk, EXTRAAMAS 2021@AAMAS 2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)
- Graph Neural Networks - Theory & Applications (internal, Internal Seminar) — Andrea Agiollo (Andrea Agiollo)
- Legal reasoning: argumentation and explanation (other sort, Last-JD Board) — Giuseppe Pisano (Giuseppe Pisano)
- Teaching the Old AI Dog New Symbolic Tricks (talk, ALMA AI Foundations of AI – Kick-Off Workshop) — Andrea Omicini (Andrea Omicini)
- Artificial Intelligence in Embedded Environments (other sort, PhD Review - The Research Hub by Electrolux Professional) — Andrea Agiollo (Andrea Agiollo)
- Machine Learning: Classification and Regression (From the Software Engineer Perspective) (talk, Spritenario) — Giovanni Ciatto (Giovanni Ciatto)
- A Model for the Burden of Persuasion in Argumentation (talk, JURIX 2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
- Arg-tuProlog: a modular logic argumentation tool for PIL (talk, JURIX 2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
- Not just for humans: Explanation for agent-to-agent communication (talk, AIxIA 2020) — Andrea Omicini (Andrea Omicini)
- Argumentation and Logic Programming for Explainable and Ethical AI (talk, AIxIA 2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
- Arg-tuProlog: a tuProlog-based argumentation framework (talk, CILC 2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
- Burden of Persuasion in Argumentation (talk, ICLP 2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
- 2P-Kt: logic programming with objects & functions in Kotlin (talk, WOA 2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
- Neuro-symbolic Computation for XAI: Towards a Unified Model (talk, WOA 2020) — Giuseppe Pisano (Giovanni Ciatto, Giuseppe Pisano, Roberta Calegari, Andrea Omicini)
- Computable Law as Argumentation-based MAS (talk, WOA 2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
- An Abstract Framework for Agent-Based Explanations in AI (talk, AAMAS 2020) — Giovanni Ciatto (Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini)
- Agent-Based Explanations in AI: Towards an Abstract Framework (talk, EXTRAAMAS 2020@AAMAS 2020) — Davide Calvaresi (Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi)
- Defeasible Systems in Legal Reasoning: A Comparative Assessment (talk, JURIX 2019) — Giovanni Sartor (Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor)
- The Quest Towards Coordination from Distributed to Socio-Technical Systems (seminar, Research Seminar “AI: From tutorials to hands on”) — Stefano Mariani (Stefano Mariani)
- Towards XMAS: eXplainability through Multi-Agent Systems (talk, AI&IoT 2019@AIIA 2019) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi)
- Real-Time Multi-Agent Systems: challenges, model, and performance analysis (talk) — Davide Calvaresi (Davide Calvaresi)
- Docker for Devs (internal, PSLab seminars series) — Stefano Mariani (Stefano Mariani)
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (talk, IDCS 2019) — Roberta Calegari (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari)
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (talk, IDCS 2019) — Stefano Mariani (Stefano Mariani)
- TuSoW: Tuple Spaces for Edge Computing (talk, ICCCN 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) — Michela Milano (Michela Milano)
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (talk, WOA 2019) — Roberta Calegari (Andrea Omicini, Giovanni Ciatto, Jason Dellaluce, Roberta Calegari)
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts (talk, PAAMS'19) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain (talk, BLOCKCHAIN'19) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
- Comparative Analysis of Blockchain Technologies under a Coordination Perspective (talk, BCT4MAS 2019@PAAMS'19) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Michael Bosello, Stefano Mariani)
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (talk, CBMS 2019 @ Cordoba, Spain) — Stefano Mariani (Stefano Mariani)
- Compulaw: Law-by-Design & Machine Law (seminar) — Giuseppe Contissa (Giovanni Sartor)
- Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum (talk, BCT4MAS 2018@WI 2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
- Blockchain for Intelligent Systems: Research Perspectives (invited, BCT4MAS 2018@WI 2018) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto)
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (talk, GOODTECHS 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, Sala Riunioni DISI) — Jeremy Pitt (Jeremy Pitt, Josiah Ober)
- Distributed Speaking Objects: a Case for Massive Multiagent Systems (invited, MMAS 2018) — Franco Zambonelli (Franco Zambonelli, Marco Lippi, Marco Mamei, Stefano Mariani)
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (invited, MMAS 2018) — Andrea Omicini (Andrea Omicini, Roberta Calegari)
- From the Blockchain to Logic Programming and back: Research perspectives (talk, WOA 2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS (talk, WOA 2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
- Blockchain & Smart Contracts Basics and Perspectives for MAS (tutorial, WOA 2018 Mini School@WOA 2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto)
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities (talk, FOCLASA 2018) — Stefano Mariani (Stefano Mariani)
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (talk, COORDINATION 2018) — Stefano Mariani (Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel)
- Artificial Intelligence and Beyond: History, Perspectives, Challenges (invited, Going Digital, Global MBA, BBS) — Andrea Omicini (Andrea Omicini)
- Conversational Informatics: From Conversational Systems to Communication Intelligence (lecture, MBA Part-Time (Evening)) — Andrea Omicini (Andrea Omicini)
- Complexity in Computational Systems: The Coordination Perspective (seminar, Complex Systems Physics Meeting IMT-UNIBO) — Andrea Omicini (Andrea Omicini)
- Ologrammi e Mondi Aumentati: come sarà il nostro futuro? (lecture, UniJunior 2017) — Angelo Croatti (Angelo Croatti, Alessandro Ricci)
- Learn to Code, Code to Learn… che forza il coding! (lecture, UniJunior 2017) — Alessandro Ricci (Alessandro Ricci, Angelo Croatti, Laura Tarsitano)
- Introduzione alla Blockchain – Bitcoin, criptovalute e altre applicazioni (talk, Open Your Mind) — Giovanni Ciatto (Giovanni Ciatto)
- Democratic process and electronic platforms: concerns of an engineer (talk, Workshop The Future of Democracy) — Danilo Pianini (Danilo Pianini)
- Programming the Interaction Space Effectively with ReSpecTX (talk, Symposium on Intelligent Distributed Computing) — Stefano Mariani (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment (poster, 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 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, 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017)) — Stefano Mariani (Stefano Mariani)
- Nature-inspired Coordination: Current Status and Research Trends (tutorial, WI 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, PhD Defense) — Francesco Luca De Angelis (Francesco Luca De Angelis)
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (talk, SEIS @ KES-IIMSS-17) — Enrico Denti (Enrico Denti, Roberta Calegari)
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (talk, WOA 2017) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
- Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tricks (invited, WOA 2017) — Andrea Omicini (Andrea Omicini)
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (talk, ICNSC 2017) — Andrea Omicini (Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini)
- Frontiers of Autonomous Systems (lecture, MBA Evening) — Andrea Omicini (Andrea Omicini)
- Conversational Informatics: From Conversational Systems to Communication Intelligence (lecture, MBA Part-Time (Evening)) — Andrea Omicini (Andrea Omicini)
- Aggregate Computing (lecture, “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School) — Mirko Viroli (Mirko Viroli)
- Spatial Multi-Agent Systems (lecture, “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School) — Andrea Omicini (Andrea Omicini)
- Cosa ci fa un Pokémon in mezzo alla strada? (lecture, UniJunior 2016) — Angelo Croatti (Angelo Croatti, Alessandro Ricci)
- Come ti programmo un videogioco in 1 ora (lecture, UniJunior 2016) — Alessandro Ricci (Alessandro Ricci, Laura Tarsitano, Angelo Croatti)
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (talk, IDC 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, 2nd eCAS Workshop on Engineering Collective Adaptive Systems) — 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, INSCI 2016) — Enrico Denti (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)
- Simulating Large-scale Aggregate MASs with Alchemist and Scala (talk, 10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16)) — Danilo Pianini (Roberto Casadei, Danilo Pianini, Mirko Viroli)
- Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (talk, WOA 2016) — Andrea Omicini (Andrea Omicini, Francesco Degli Angeli, Michele Donati, Sara Montagna)
- Game Engines to Model MAS: A Research Roadmap (talk, WOA 2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (talk, WOA 2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- Towards Logic Programming as a Service: Experiments in tuProlog (talk, WOA 2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
- Spatial Multi-Agent Systems (tutorial, EASSS 2016) — Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani)
- Privacy through Anonymisation in Large-scale Socio-technical Systems: The BISON Approach (project) — Andrea Omicini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)
- Foundations of Multi-Agent Systems (tutorial, EASSS 2016) — Andrea Omicini (Andrea Omicini)
- Labelled Variables in Logic Programming: Foundations (talk, CILC 2016) — Roberta Calegari (Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini)
- WP8: Legal, Ethical and Societal Issues (project, BISON Technical Meeting) — Claudia Cevenini (Claudia Cevenini)
- WP8: Legal, Ethical and Societal Issues (project, BISON Advisory Board Meeting) — Claudia Cevenini (Claudia Cevenini)
- Partner presentation (project, BISON Advisory Board Meeting) — Claudia Cevenini (Claudia Cevenini, Enrico Denti)
- Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (phd, PhD Defense) — Stefano Mariani (Stefano Mariani)
- Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well, Maybe) (other sort, Meeting “The (r)evolution of academic publication”) — Andrea Omicini (Andrea Omicini)
- Frontiers of Autonomous Systems (lecture, MBA Alma Graduate School) — Andrea Omicini (Andrea Omicini)
- Advanced Coordination Techniques: Experiments with TuCSoN and ReSpecT (seminar, Mobile and Distributed Programming course, University of Namur) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Software development made serious (seminar) — Danilo Pianini (Danilo Pianini)
- Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (phd, PhD Presentation to Collegio) — Stefano Mariani (Stefano Mariani)
- BISON – Big speech data analytics for contact centers (seminar, Corso di Informatica e Diritto, CdL Ingegneria e Scienze Informatiche) — Claudia Cevenini (Claudia Cevenini)
- Self-organisation of Knowledge in Socio-technical Systems: A Coordination Perspective (seminar, ISTC CNR) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- D8.3 Legal, ethical and societal issues of BISON - II (project, Joint Meeting) — 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, AI*IA 2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Labelled Variables in Logic Programming: A First Prototype in tuProlog (talk, AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
- Agent Environments in the Ambient Event Calculus (invited, WOA 2015) — Kostas Stathis (Kostas Stathis)
- Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (talk, WOA 2015) — Franco Zambonelli (Andrea Omicini, Franco Zambonelli)
- Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (talk, COORDINATION 2015) — Stefano Mariani (Andrea Omicini, Giancarlo Fortino, Stefano Mariani)
- D8.2 Legal, ethical and societal issues of BISON. General framework (project, Joint Meeting) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Silvia Bisi, Italo Cerno)
- Frontiers of Autonomous Systems (lecture, MBA Alma Graduate School) — Andrea Omicini (Andrea Omicini)
- Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (invited, CSCWD 2015) — Andrea Omicini (Andrea Omicini)
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (talk, MABS 2015@AAMAS 2015) — Danilo Pianini (Andrea Omicini, Danilo Pianini, Sara Montagna)
- Protelis: Practical Aggregate Programming (talk, CM 2015@SAC 2015) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
- Engineering Complex Computational Ecosystems (talk, PhD Defense) — Danilo Pianini (Danilo Pianini)
- The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems (invited, UN-LAWS 2015) — Andrea Omicini (Andrea Omicini)
- Ethical and legal support – UniBO role and activities in BISON (project, Kick-off Meeting - Tutorial session) — Enrico Denti (Enrico Denti)
- Big speech data privacy issues (project, Kick-off Meeting - Scientific session) — Claudia Cevenini (Claudia Cevenini)
- UniBO Partner introduction (project, Kick-off Meeting - Partner Introduction) — Enrico Denti (Enrico Denti)
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (talk, ICAART 2015) — Roberta Calegari (Enrico Denti, Roberta Calegari)
- Stochastic Coordination in CAS: Expressiveness & Predictability (talk, CAS@Dagstuhl 2014) — Stefano Mariani (Stefano Mariani, Andrea Omicini)
- Extending a Smart Home multi-agent system with Role-Based Access Control (talk, ITS 2014) — Marco Prandini (Enrico Denti, Marco Prandini, Roberta Calegari)
- Coordination-aware Elasticity (talk, UCC 2014) — Hong-Linh Truong (Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar)
- Coordination Games in Multi-Agent Environments (lecture, CM @ CUSO 2014) — Visara Urovi (Visara Urovi)
- Coordination: The what, the when and the how (lecture, CM @ CUSO 2014) — René Schumann (René Schumann)
- Conversation (lecture, CM @ CUSO 2014) — Paul Pangaro (Paul Pangaro)
- Research Trends in Nature-inspired Coordination Models (lecture, CM @ CUSO 2014) — Andrea Omicini (Andrea Omicini)
- Design (lecture, CM @ CUSO 2014) — Paul Pangaro (Paul Pangaro)
- Nature-inspired Models of Coordination (lecture, CM @ CUSO 2014) — Andrea Omicini (Andrea Omicini)
- Human centred Cyber Physical Systems (lecture, CM @ CUSO 2014) — Benjamin Hadorn (Benjamin Hadorn)
- Laws and Models in Physics vs Biology and the Continuum vs Discrete Interplay (lecture, CM @ CUSO 2014) — Giuseppe Longo (Giuseppe Longo)
- Introduction to Cybernetics – 1st and 2nd order (lecture, CM @ CUSO 2014) — Paul Pangaro (Paul Pangaro)
- Interaction, Complexity, Coordination (lecture, CM @ CUSO 2014) — Andrea Omicini (Andrea Omicini)
- Randomness and diversity in biology: comparing complexity and functional organization (seminar, CM @ CUSO 2014) — Giuseppe Longo (Giuseppe Longo)
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (talk, DISI - OSIMAS meeting) — Stefano Mariani (Stefano Mariani)
- Oscillations Based Multi-Agent System (OSIMAS) Development (seminar, Erasmus+ Mobility Training) — Darius Plikynas, Andrej Cholscevnikov (Darius Plikynas, Andrej Cholscevnikov)
- TuCSoN Coordination for MAS Situatedness: Towards a Methodology (talk, WOA 2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework. Preliminary Notes (lecture, WOA 2014) — Andrea Omicini (Andrea Omicini)
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (talk, IDCS 2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (talk, FoCAS 2014) — Stefano Mariani (Stefano Mariani)
- Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (talk, IDC 2014) — Stefano Mariani (Andrea Omicini, Luca Sangiorgi, Stefano Mariani)
- Agent-based and Chemical-inspired Approaches for Multicellular Models (talk, Meeting CINI Laboratorio InfoLife) — Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
- Frontiers of Autonomous Systems (lecture, MBA Alma Graduate School) — Andrea Omicini (Andrea Omicini)
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (seminar, Distributed Systems Group, TU Wien) — Stefano Mariani (Stefano Mariani)
- The Autonomy of Automated Systems (invited, AWS-LEP 2014) — Giovanni Sartor (Andrea Omicini, Giovanni Sartor)
- The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy (invited, AWS-LEP 2014) — Andrea Omicini (Andrea Omicini, Giovanni Sartor)
- Research Trends in Nature-Inspired Coordination (lecture, DISI PhD School in Computer Science and Engineering) — Andrea Omicini (Andrea Omicini)
- Nature-inspired Models of Coordination (lecture, DISI PhD School in Computer Science and Engineering) — Andrea Omicini (Andrea Omicini)
- Engineering Adaptive Service Ecosystems (lecture, DISI PhD School in Computer Science and Engineering) — Mirko Viroli (Mirko Viroli)
- Tuple-based Coordination of Distributed Systems (lecture, DISI PhD School in Computer Science and Engineering) — Andrea Omicini (Andrea Omicini)
- Interaction & Coordination in Distributed Systems (lecture, DISI PhD School in Computer Science and Engineering) — Andrea Omicini (Andrea Omicini)
- Thou Shalt is not You Will (seminar) — Guido Governatori (Guido Governatori)
- TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (talk, C-SmartCPS 2013@ICA3PP-2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- Liability and Automation in ATM (seminar) — Giuseppe Contissa (Giuseppe Contissa)
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives (talk, WOA 2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- Space-aware Coordination in ReSpecT (talk, WOA 2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (talk, WOA 2013) — Stefano Mariani (Stefano Mariani)
- WP6 - Dissemination, Collaboration & Exploitation - 3rd Year & Final Report (project, "SAPERE" Final Review) — Andrea Omicini (Andrea Omicini)
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (talk, JAWS 2013@MATES 2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (invited, ICCCI 2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci)
- A core calculus of computational fields (talk) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
- Coordination for Situated MAS: Towards an Event-driven Architecture (invited, PNSE'13) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
- SAPERE Methodology: Towards the Final Version (project, M32 Consortium Meeting) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- SAPERE Analysis tools (talk, M32 SAPERE Consortium Meeting) — Danilo Pianini (Danilo Pianini)
- WP1 at M32: State and Plans (project, M32 Consortium Meeting) — Mirko Viroli (Mirko Viroli)
- Engineering Computational Ecosystems (2nd year PhD seminar) (phd, PhD, 2nd year seminar) — Danilo Pianini (Danilo Pianini)
- Probabilistic Modular Embedding for Stochastic Coordinated Systems (talk, COORDINATION 2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Engineering Self-organising Coordination: A Computational Field Approach (talk, COORDINATION 2013) — Mirko Viroli (Mirko Viroli)
- Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective (talk, COORDINATION 2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci)
- From Engineer to Alchemist, There and Back Again: An Alchemist Tale (talk) — Danilo Pianini (Danilo Pianini)
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (talk, LSA Course 2012/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Molecules of Knowledge: a Novel Approach over Knowledge Management (poster, PiM 2013) — Stefano Mariani (Stefano Mariani)
- Engineering Pervasive Multiagent Systems in SAPERE (talk, EMAS 2013@AAMAS 2013) — Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (talk, SCW 2013@AAMAS 2013) — Mirko Viroli (Mirko Viroli)
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (talk, SCW 2013@AAMAS 2013) — Stefano Mariani (Stefano Mariani, Andrea Omicini)
- Composing gradients for a context-aware navigation of users in a smart-city (talk, SCW 2013@AAMAS 2013) — Mirko Viroli (Mirko Viroli, Sara Montagna)
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (talk, SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Spatial Computing with Chemistry (internal, Bioinformatics LabMeeting) — Mirko Viroli (Mirko Viroli, Sara Montagna)
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (poster, CM 2013@SAC 2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Autonomy, Interaction & Complexity in Computational Systems. Preliminary Notes (invited, LaPfAMS 2013) — Andrea Omicini (Andrea Omicini)
- WP1 tools: current status and ongoing work (talk, SAPERE General Meeting) — Danilo Pianini (Danilo Pianini)
- SAPERE Methodology - The Complete Process (project, SAPERE Meeting ) — Ambra Molesini (Ambra Molesini)
- SAPERE Methodology: Status & Next Steps (project, General SAPERE Meeting) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- Glocality: emergent behaviours (talk, CINA kickoff meeting) — Mirko Viroli (Mirko Viroli)
- SAPERE project (and relevance for CINA) (project, CINA kickoff meeting) — Mirko Viroli (Mirko Viroli)
- Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (phd) — Andrea Santi (Andrea Santi)
- Agent Models with Interaction: The Thermodynamics and Statistical Mechanics Perspectives (informal, APICe Meeting) — Pierluigi Contucci (Pierluigi Contucci)
- The TuCSoN Coordination Model & Technology. A Guide (other sort, TuCSoN) — Andrea Omicini, Stefano Mariani (Andrea Omicini, Stefano Mariani)
- Nature-inspired Coordination for Complex Multi-Agent Systems (invited, EUMAS 2012) — Andrea Omicini (Andrea Omicini)
- Engineering Computational Ecosystems (seminar, Vieni Via Con Noi 2012) — Danilo Pianini (Danilo Pianini)
- Recipes for Sabayon: cook your own Linux distro within two hours (tutorial, Linux Day 2012) — Danilo Pianini (Danilo Pianini)
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (talk) — Andrea Santi (Andrea Santi)
- Nature-inspired Coordination for Complex Distributed Systems (invited, IDC 2012) — Andrea Omicini (Andrea Omicini)
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (talk, IDC 2012) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL (talk) — Andrea Santi (Andrea Santi)
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (talk, WOA 2012) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (talk, WOA 2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli)
- Programming Distributed Multi-Agent Systems in simpAL (talk) — Andrea Santi (Andrea Santi)
- SAPERE WP6 in Y2 – Preview (project, SAPERE Meeting, SASO 2012) — Andrea Omicini (Andrea Omicini)
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (talk, 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
- WP1 @ M24 Progresses and Review (project, SAPERE Meeting, SASO 2012) — Mirko Viroli (Mirko Viroli)
- Self-Organising News Management: The Molecules of Knowledge Approach (talk, ASENSIS 2012@SASO 2012) — Stefano Mariani (Stefano Mariani, Andrea Omicini)
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (talk, ASENSIS 2012@SASO 2012) — Andrea Omicini (Andrea Omicini, Marco Alberti)
- SAPERE Methodology Alpha Version (talk, SAPERE Meeting @ SASO 2012, Lyon, France) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (talk, ASENSIS 2012@SASO 2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)
- Alchemist simulator: ready for M20 release (project, General SAPERE Meeting) — Danilo Pianini (Danilo Pianini)
- SAPERE WP6 Issues (project, Joint Meeting) — Sara Montagna (Andrea Omicini, Sara Montagna)
- WP1 @ M21. Progresses and Plan (talk, General SAPERE Meeting) — Mirko Viroli (Mirko Viroli)
- Conceptual approaches to Semantic IR System (informal, Meeting with Stefano Mariani and Andrea Omicini) — Antonella Carbonaro (Antonella Carbonaro)
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (informal, Meeting with Antonella Carbonaro & Andrea Omicini) — Stefano Mariani (Stefano Mariani)
- Typing Multi-Agent Programs in simpAL (talk) — Andrea Santi (Andrea Santi)
- Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure (talk, ITMAS 2012) — Olivier Boissier (Alexandru Sorici, Gauthier Picard, Olivier Boissier, Andrea Santi, Jomi F. Hübner)
- The simulation alchemy (seminar) — Danilo Pianini (Danilo Pianini, Sara Montagna)
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (poster, CM 2012@SAC 2012) — Mirko Viroli (Andrea Omicini)
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (talk, 27th Annual ACM Symposium on Applied Computing (SAC 2012)) — Mirko Viroli (Mirko Viroli)
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (talk, SAC 2012) — Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
- Self-adaptive Service Ecosystems for Pervasive Computing (seminar, DISI seminars) — Mirko Viroli (Mirko Viroli)
- Agent-Oriented Computing (seminar, DISI seminars) — Alessandro Ricci (Alessandro Ricci, Andrea Santi)
- SAPERE WP6 Towards M24 (project, General SAPERE Meeting) — Andrea Omicini (Andrea Omicini)
- WP1 @ M17. Progresses and Plan (project, General SAPERE Meeting) — Mirko Viroli (Mirko Viroli)
- SAPERE Methodology: A first sketch (project, General SAPERE Meeting, Frankfürt, Germany) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- Alchemist simulator (project, General SAPERE Meeting) — Danilo Pianini (Danilo Pianini)
- FuturICT: An Introduction (project, ICT Info Day 2012) — Andrea Omicini (Andrea Omicini)
- UniBo middleware prototype and eco-laws language (project, WP4 Meeting in Linz, Austria) — Danilo Pianini (Danilo Pianini)
- WP6 – Dissemination, Collaboration & Exploitation (project, Review Y1, Bruxelles, Belgium) — 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, The AWARENESS Virtual Lecture Series) — Franco Zambonelli (Franco Zambonelli)
- Coordination Models and Technologies toward Self-Organising Systems (lecture, The AWARENESS Virtual Lecture Series) — Andrea Omicini (Andrea Omicini)
- Exploiting the JaCaMo framework for realising an adaptive room governance application (talk) — 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) — Andrea Santi (Andrea Santi)
- JaCa-Android: an agent-based platform for building smart mobile applications (talk) — Andrea Santi (Andrea Santi)
- Agent-Oriented Programming for Developing Modern Software Systems (phd) — Andrea Santi (Andrea Santi)
- Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development (talk) — Andrea Santi (Andrea Santi)
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (talk, 6th Workshop of the Italian Eclipse Community (Eclipse-IT 2011)) — Andrea Santi (Andrea Santi, Antonio Natali)
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (talk, Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011)) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
- Coordination Models and Technologies toward Self-Organising Systems (invited, 26-esimo Convegno Italiano di Logica Computazionale (CILC 2011), Università degli Studi "Gabriele D'Annunzio" di Chieti e Pescara, Pescara, Italy) — Andrea Omicini (Andrea Omicini)
- Towards Adaptive Service Ecosystems with Agreement Technologies (internal, Internal Meeting, DEIS, Bologna) — José Santiago Pérez-Sotelo (José Santiago Pérez-Sotelo, Carlos E. Cuesta, Sascha Ossowski)
- A Simulation Framework for Pervasive Service Ecosystems (talk, WOA 2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
- A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (talk, WOA 2011) — Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
- BaSi: Multi-Agent Based Simulation for Medieval Battles (talk, WOA 2011) — Andrea Omicini (Ambra Molesini, Andrea Omicini, Enrico Denti)
- Coordination Models and Languages: From Parallel Computing to Self-Organisation (lecture, WOA 2011) — Andrea Omicini (Andrea Omicini)
- Tesi on line (other sort, Consiglio di Facoltà della Seconda Facoltà di Ingegneria, Forlì, FC) — Andrea Omicini (Andrea Omicini)
- WP1 Activities: General state, details on the model, future plans (project, SAPERE M9 Meeting, University of St. Andrews, UK) — Mirko Viroli (Mirko Viroli)
- A Prototype of LSA-space (project, SAPERE M9 Meeting, University of St. Andrews, UK) — Elena Nardini (Elena Nardini)
- SAPERE WP6 @ M9 (project, SAPERE M9 Meeting, University of St. Andrews, UK) — Andrea Omicini (Andrea Omicini)
- An application of the WP1 computational model to a real scenario (talk, SAPERE M9 Meeting, University of St. Andrews, UK) — Sara Montagna (Sara Montagna)
- Alchemist is a SAPERE-oriented simulator (project, SAPERE M9 Meeting, University of St. Andrews, UK) — Danilo Pianini (Danilo Pianini)
- Alchemist is a SAPERE-oriented simulator (project, WP1 Workshop, Cesena, Italy) — Danilo Pianini (Danilo Pianini)
- Dynamic Social Networks: Modeling Trust, Shocks and Hype (lecture, Laboratorio di Sistemi e Applicazioni 2010/2011) — Marco Cremonini, Luca Allodi (Marco Cremonini, Luca Allodi)
- Semantic and Fuzzy Coordination Through Programmable Tuple Spaces (seminar, Seminar for Laboratory of Systems and Applications 2010-2011) — Elena Nardini (Elena Nardini)
- Bio-ICT Convergence: Filling the Gap Between Computer Science and Biology (seminar, Seminar for Laboratory of Systems and Applications 2010-2011) — Sara Montagna (Sara Montagna)
- Multi-level models and infrastructures for simulating biological system development (phd, DEIS, Università di Bologna, Ph.D. Defense (XXIII Cycle)) — Sara Montagna (Sara Montagna)
- Semantic Coordination Through Programmable Tuple Spaces (phd) — Elena Nardini (Elena Nardini)
- WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (project, SAPERE M4 Meeting, Université de Genève, Suisse) — Mirko Viroli (Mirko Viroli)
- SAPERE WP6 Short Overall Report – M1-M4 (project, SAPERE Meeting, Université de Genève, Suisse) — Andrea Omicini (Andrea Omicini)
- WP1 Activities. General state, details on the model, future plans (project, SAPERE M4 Meeting, Université de Genève, Suisse) — Mirko Viroli (Mirko Viroli)
- Multi-Level Models and Infrastructures for Simulating Biological System Development (phd, PhD Third Year Ending Seminar) — Sara Montagna (Sara Montagna)
- Semantic Coordination Through Programmable Tuple Spaces (phd, PhD Third Year Ending Seminar) — Elena Nardini (Elena Nardini)
- Description Logics (seminar) — Elena Nardini (Elena Nardini)
- Simulation & Multi-Agent Systems: An Introduction (seminar, Multiagent Systems LM) — Sara Montagna (Sara Montagna)
- SAPERE: Self-aware Pervasive Service Ecosystems (project, AWARE Meeting, Vrije Universiteit Amsterdam, The Netherlands) — Franco Zambonelli (Franco Zambonelli)
- Tutorial on Semantic Web (tutorial, W3C) — Ivan Herman (Ivan Herman)
- Multi-level Approaches for a Deep Analysis of Morphogenesis in Living Systems (talk, Corso di Biologia Molecolare della Cellula) — Sara Montagna (Sara Montagna)
- SAPERE: WP1 - Model & Methodology (project, SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010) — Mirko Viroli (Mirko Viroli)
- SAPERE: WP6 - Dissemination (project, SAPERE Kick-Off Meeting) — Andrea Omicini (Andrea Omicini, Franco Zambonelli)
- Self Organization in Coordination Systems using a WordNet-based Ontology (talk) — Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
- A Self-Organising Infrastructure for Chemical-Semantic Coordination (talk, WOA 2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Documenting SODA: An Evaluation of the Process Documentation Template (talk, WOA 2010) — Ambra Molesini (Ambra Molesini, Andrea Omicini)
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems (talk, WOA 2010) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Sara Montagna)
- Exploiting Agent-Oriented Programming for Developing Android Applications (talk, WOA 2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci)
- From Coordination to Semantic Self-Organisation: A Perspective on the Engineering of Complex Systems (lecture, Mini-school at the 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010), Rimini, Italy) — Andrea Omicini (Andrea Omicini)
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (talk) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci)
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (talk) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci)
- Developing Web Client Applications with JaCa-Web (talk) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci)
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (talk) — Andrea Santi (Andrea Santi)
- Multi-Agent Programming (lecture, The 12th European Agent Systems Summer School (EASSS 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, European Agent Systems Summer School (EASSS 2010). Saint-Étienne, France) — Andrea Omicini (Andrea Omicini)
- Agent Oriented Software Engineering (seminar, Cours for Ph.D. Student of the Doctorate of Electronic, Computer science and Telecommunications Engineerin) — Ambra Molesini (Ambra Molesini)
- A Framework for Modelling and Simulating Networks of Cells (talk, CS2Bio 2010) — Sara Montagna (Sara Montagna)
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (seminar, Course “Informatics System Design” (2009-2010)) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (talk, PROMAS 2010) — Andrea Santi (Andrea Santi, Michele Piunti)
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments - European PhD (phd, PhD Dissertation) — Michele Piunti (Michele Piunti)
- Towards model-driven communications (talk, International Conference on Software Engineering and Technologies (ICSET 2010)) — Ambra Molesini (Antonio Natali, Ambra Molesini)
- Computational Agents & Artefacts (lecture, CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica) — Andrea Omicini (Andrea Omicini)
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (talk, CM 2010@SAC 2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
- Chemical-Inspired Self-Composition of Competing Services (talk, SAC 2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Building an Agent Methodology from Fragments: the MEnSA experience (talk, AOMIP 2010@SAC 2010) — Ambra Molesini (Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini)
- Risk Analysis and Deployment Security Issues in a Multi-Agent System (talk, 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)) — Ambra Molesini (Ambra Molesini, Elena Nardini, Marco Prandini, Enrico Denti)
- Designing and Programming Organisational Infrastructures for Agents situated in Artifact-based Environments (phd, PhD XXII cycle seminars, DEIS Università di Bologna) — Michele Piunti (Michele Piunti)
- Agent-based Models, Technologies and Methodologies for the Engineering of Software Systems in the Context of Open Scenarios (phd, Seminar for the end of the Second Year of the Phd Activity) — Elena Nardini (Elena Nardini)
- Generic Programming Constructs and Applications in Object-Oriented Languages (seminar, DEIS, Università di Bologna, Ph.D. Final Seminar (XXII Cycle)) — Maurizio Cimadamore (Maurizio Cimadamore)
- Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (invited, Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Coordination in Open and Dynamic Environments via TuCSoN Semantic Tuple Centres (seminar, Collaboration with Michael Schumacher at Technopole in Sierre, Western Switzerland) — Elena Nardini (Elena Nardini)
- Towards a framework for multi-level modelling in Computational Biology (talk, PhD Second Year Ending Seminar) — Sara Montagna (Sara Montagna)
- Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS (talk) — Andrea Santi (Andrea Santi)
- An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks (talk, APICe meeting) — Önder Gürcan (Önder Gürcan)
- Embodying Organisations in Multi-Agent Work Environments (talk, 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2009), Milano, Italy) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner)
- Embodied Organisations in MAS Environments (talk) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner)
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (talk) — Andrea Santi (Alessandro Ricci, Andrea Santi, Michele Piunti)
- Exploiting Agent Observability in Multi-Agent System Programming (talk, German Conference on Multi-Agent Systems (MATES 2009)) — Michele Piunti (Alessandro Ricci, Michele Piunti)
- Agents & MAS: An Introduction (lecture, European Agent Systems Summer School (EASSS 2009). Torino, Italy) — Andrea Omicini (Andrea Omicini)
- Agent Oriented Software Engineering (lecture, European Agent Systems Summer School (EASSS 2009) ) — Ambra Molesini, Massimo Cossentino (Ambra Molesini, Massimo Cossentino)
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (talk, WOA 2009) — Andrea Santi (Andrea Santi, Michele Piunti)
- A Computational Framework for Multilevel Morphologies (talk, Morphogenetic Engineering Workshop) — Sara Montagna (Sara Montagna, Mirko Viroli)
- Design of SOA/WS applications using an Agent-based approach (seminar, Lecture Seminar in the context of Distributed System - A.A. 2008/2009) — Andrea Santi, Michele Piunti (Andrea Santi, Michele Piunti)
- Environment Programming in MAS with CArtAgO (talk, aliCE Workshop on "Programming multi-agent systems: agents, environment, organisations") — Alessandro Ricci (Alessandro Ricci, Michele Piunti)
- Organisation-Oriented Programming of MAS (seminar, aliCE Workshop - "Programming Multi-Agent Systems: Agents, Environment, Organisations") — Olivier Boissier (Olivier Boissier, Jomi F. Hübner, Rosine Kitio, Michele Piunti, Alessandro Ricci, Jaime Simão Sichman)
- Programming Agents with Jason (seminar, aliCE Workshop - "Programming multi-agents: agents, environment, organisations") — Jomi Hübner (Jomi Hübner)
- A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (talk, Congress on Evolutionary Computation (CEC 2009)) — Mirko Viroli (Sara Montagna, Mirko Viroli)
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (talk, The 2009 IEEE Concress on Evolutionary Computation (CEC 2009)) — Mirko Viroli (Mirko Viroli, Matteo Casadei)
- Agent Oriented Software Engineering Methodologies (invited, Panel "Agent Oriented Methodologies and Programming Languages: Towards Practical Systems", AAMAS 2009, Budapest, Hungary) — Andrea Omicini (Andrea Omicini)
- Introducing Relevance Awareness in BDI Agents (talk, Programming Multi Agent Systems (PROMAS 2009), in the context of AAMAS 2009) — Michele Piunti (Michele Piunti)
- Un approccio multi-agente / sistemi blackboard per l'esplorazione di problemi complessi in biologia strutturale (seminar, Aula 2, via Venezia 260, Cesena, Italy) — Pedro Pablo González Pérez (Pedro Pablo González Pérez)
- Embodying Organisations - an Introduction (seminar, Seminar at Ecole des Mines - G2I, St-Etienne (France)) — Michele Piunti (Michele Piunti)
- Self-Organising Coordination Systems (talk, PhD Final Dissertation) — Matteo Casadei (Matteo Casadei)
- A Framework for Modelling and Implementing Self-Organising Coordination (talk, 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA.) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Situated Tuple Centres in ReSpecT (talk, SAC 2009) — Andrea Omicini (Matteo Casadei, Andrea Omicini)
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (talk, AOMP 2009@SAC 2009) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- An Agent-based Application for Home Intelligence (talk, International Conference on Agents and Artificial Intelligence (ICAART 2009)) — Andrea Omicini (Andrea Omicini, Ambra Molesini)
- From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (talk, Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino ) — Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
- From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS (talk, Sixth European Workshop on Multi-Agent Systems (EUMAS-2008)) — Michele Piunti (Alessandro Ricci, Michele Piunti)
- SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures (talk, AOSE TFG - Bath, UK) — Ambra Molesini (Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini)
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (talk, IEEE/WIC/ACM Conference on Web Intelligence and Intelligent Agent Technologies WI-IAT 2008 (Sydney)) — Michele Piunti (Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr)
- Programming BDI agents in Jadex (lecture, Multi-Agent Systems (principles and applications) in Master Web Intelligence (Université Jean Monnet and Ecole Nationale Superieure des Mines St-Etienne) ) — Michele Piunti (Michele Piunti)
- Coordination in Multi-agent Systems (seminar, Seminar for Multi-agent System Course) — Elena Nardini (Elena Nardini, Andrea Omicini)
- SODA+TuCSoN: Methodologies' and Infrastructures' Processes (project, 4th MEnSA Meeting, Palermo, ICAR-CNR) — Ambra Molesini (Ambra Molesini)
- MEnSA: Résumé of Activities (project, MEnSA Meeting, ICAR-CNR, Palermo, Italy) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- Model-driven Generation of Graphical Maps for e-Contents (talk, 3rd Italian Workshop on Eclipse Technologies) — Enrico Oliva (Antonio Natali, Enrico Oliva, Cristina Bonanni)
- From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS (talk, WOA 2008) — Andrea Omicini (Alessandro Ricci, Michele Piunti)
- Arguments and Artifacts for Dispute Resolution (talk, WOA 2008) — Andrea Omicini (Enrico Oliva, Andrea Omicini)
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (talk, WOA 2008) — Fabiano Dalpiaz (Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita)
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (talk, WOA 2008) — Ambra Molesini (Andrea Omicini, Ambra Molesini)
- DA A AD A : Towards a Cognitive Use of Artifacts in MAS (talk, Séminaires G2I, Ecole Nationale Superieure des Mines St-Etienne) — Michele Piunti (Alessandro Ricci, Michele Piunti)
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (talk, 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008)) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (talk, 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008)) — Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri)
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (talk, ESAW 2008) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (talk, Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008)) — Emiliano Lorini (Alessandro Ricci, Michele Piunti)
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (talk, MAS&Bio'08) — Andrea Roli (Andrea Omicini, Sara Montagna)
- Adaptive Coordination Models for Pervasive Environments (invited, PerAda 2008 Doctorate Summer School, Rimini, Italy) — Andrea Omicini (Andrea Omicini)
- Goal Directed Agents using Artifacts (seminar, Dagstuhl Seminar PRogramming Multi-Agent Systems) — Michele Piunti (Alessandro Ricci, Michele Piunti)
- A Framework for Collaborative-Learning Systems Based on Agent Technologies (talk, The 2008 International Conference on the Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education) — Elena Nardini (Elena Nardini, Andrea Omicini)
- Environment Programming in MAS: CARTAGO and Friends (talk, Dagstuhl Seminar 08361, "Programming Multi-Agent Systems") — Alessandro Ricci (Alessandro Ricci, Michele Piunti)
- ReSpecT: Teaching The Old Dog New Tricks (seminar, Dagstuhl Seminar 08361, "Programming Multi-Agent Systems", Dagstuhl, Germany) — Andrea Omicini (Andrea Omicini)
- Experiment with Stochastic Prolog as Simulation Language (talk, 23° Convegno Italiano di Logica Computazionale (CILC)) — Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)
- Scenari di sviluppo delle strategie web (informal, DSAW, Alma Mater Studiorum-Università di Bologna) — Luca Garlaschelli (Luca Garlaschelli, Francesca Mazzaglia)
- MEnSA: Résumé of Activities (project, 3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- WP4: Case Study — Virtual Laboratory for Protein Structure Prediction (project, 3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia) — Sara Montagna (Sara Montagna)
- Case Study in SODA (project, 3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia) — Ambra Molesini (Ambra Molesini)
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (talk, CoMA 2008@WET ICE 2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
- Situating A&A ReSpecT for Pervasive Environment Applications (talk, CoMA 2008@WET ICE 2008) — Matteo Casadei (Matteo Casadei, Andrea Omicini)
- A Conceptual Framework for Collaborative Learning Systems (project, Plenary meeting of the Minerva-Reset project) — Elena Nardini (Elena Nardini, Andrea Omicini)
- ReSpecT in the A&A Perspective (internal, Weekly aliCE Meetings) — Matteo Casadei (Andrea Omicini, Matteo Casadei)
- Argumentation and Artifact for Dialogue Support (talk, 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008)) — Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney)
- Argumentation and Artifacts for Intelligent Multi-agent Systems (phd, Final PhD presentation) — Enrico Oliva (Enrico Oliva)
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (phd, PhD Final Examination) — Ambra Molesini (Ambra Molesini)
- Capabilities for Coordination: From Rights to Responsibilities (internal, APICe Meeting, Cesena, Italy) — Alan Wood (Alan Wood)
- SPEM on Test: The SODA Case Study (talk, 23th ACM Symposium on Applied Computing (SAC 2008), Special Track on Software Engineering) — Andrea Omicini (Elena Nardini, Andrea Omicini)
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine (talk, 23th ACM Symposium on Applied Computing (SAC 2008), Special Track on Programming Languages) — Andrea Omicini (Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci)
- Self-Organising Approaches to Coordination (seminar, Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena)) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Toward a Framework for Collaborative Learning Based on Agent-based Technologies (talk, International Technology, Education and Development Conference (INTED 2008)) — Elena Nardini (Elena Nardini, Andrea Omicini, Maria Cristina Matteucci)
- On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions (talk, Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)
- Web Logic Programming (internal, aliCE weekly research meetings) — Giulio Piancastelli (Giulio Piancastelli)
- MEnSA: What UNIBO has to do (project, 2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna) — Ambra Molesini (Ambra Molesini)
- MEnSA: Outlook of the 2nd year of Activity (project, 2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna) — Andrea Omicini (Andrea Omicini, Ambra Molesini)
- MEnSA: Résumé of the first year of Activities (project, 2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna ) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
- MEnSA: what UNIBO has done (project, 2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna) — Ambra Molesini (Ambra Molesini)
- SPEM on test: the SODA case study (talk, AgentLink Technical Forum V / 5th European Workshop on Multi-Agent Systems (EUMAS 2007). Hammamet, Tunisia) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)
- Maude: A Language for Concurrent Rewriting (seminar, Computational Models and Languages LM) — Matteo Casadei (Matteo Casadei)
- The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (phd, Final Report about the First Two Years of Matteo Casadei's Phd Course) — Matteo Casadei (Matteo Casadei)
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (talk, ESAW 2007) — Andrea Omicini (Andrea Omicini, Ambra Molesini)
- Report on Technological tools/Platform usage (project, Project meeting) — Elena Nardini (Andrea Omicini, Elena Nardini)
- Using Eclipse in Building Model-driven e-Learning Supports (talk, 2rd Italian Workshop on Eclipse Technologies) — Enrico Oliva (Enrico Oliva, Antonio Natali)
- Software Architecture (internal, aliCE Meeting) — Ambra Molesini (Ambra Molesini)
- On the Interplay of Crosscutting and MAS-Specific Styles (talk, First European Conference on Software Architecture (ECSA 2007)) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)
- SPEM on test: the SODA case study (internal, Incontri settimanali aliCE) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)
- A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (talk, Second International Workshop on Self-Organizing Systems (IWSOS 2007)) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- About my 6 months in Lancaster (internal, AliCE Meeting) — Ambra Molesini (Ambra Molesini)
- Agents & Artifacts: A Meta-Model for Agent-Oriented Computing (lecture, WOA 2007) — Andrea Omicini (Andrea Omicini)
- On the Problem of Over-clustering in Tuple-based Coordination Systems (talk, First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Matteo Casadei's Research Activity (internal, Weekly aliCE Meetings) — Matteo Casadei (Matteo Casadei)
- Attività svolte da Elena Nardini (internal, aliCE weekly research meetings) — Elena Nardini (Elena Nardini)
- UNIBO: Multi-Agent System Infrastructure (project, MEnSA Kick-off Meeting, Cesena, Hotel Casali ) — Ambra Molesini (Ambra Molesini)
- MEnSA - Methodologies for the Engineering of complex Software system: Agent-based approach (project, MEnSA Kick-off Meeting, Cesena, Hotel Casali) — Andrea Omicini (Andrea Omicini, Ambra Molesini)
- Designing Self-Organizing Multiagent Systems (seminar, Florida Tech: Fridays' Seminars, Spring 2007) — Matteo Casadei (Matteo Casadei)
- Conference Management Case Study (seminar, Visit to Lancaster, UK) — Ambra Molesini (Ambra Molesini)
- The SODA Methodology (seminar, Visit to Lancaster, UK) — Ambra Molesini (Ambra Molesini)
- L’infrastruttura STIL. Presentazione dei risultati finali del progetto (project, Presentazione finale del progetto {{stil/}}) — Alessandro Ricci (Alessandro Ricci, Antonio Natali)
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk, EUMAS 2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- OWL-S for Describing Artifacts (talk, EUMAS 2006) — Ambra Molesini (Rossella Rubino, Ambra Molesini, Enrico Denti)
- Introduction to Maude rewriting language (seminar, Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena)) — Matteo Casadei (Matteo Casadei)
- Agents & Artifacts: The A&A Meta-model for MAS Modelling & Engineering. Ideas & Examples (invited, DistriNet (Distributed Systems and Computer Networks) Workshop at the Department of Computer Science, Katholieke Universiteit Leuven, Belgium) — Andrea Omicini (Andrea Omicini)
- Collective Sorting Tuple Spaces (talk, WOA 2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (talk, AICA 2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
- Software Engineering Methodologies: The Agent Approach (talk, AICA 2006) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
- Formal ReSpecT in the A&A Perspective (talk, 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)) — Andrea Omicini (Andrea Omicini)
- Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (talk, FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- Distributed Workflow upon Linkable Coordination Artifacts (talk, COORDINATION 2006) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Nicola Zaghini)
- La coordinazione di agenti software (seminar, CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell’Informatica, Scuola di Dottorato in Scienze Giuridiche) — Andrea Omicini (Andrea Omicini)
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (talk, WOA 2005) — Andrea Omicini (Luca Gardelli, Mirko Viroli, Andrea Omicini)
- Artefacts and Workspaces for the Engineering of Multiagent Systems (lecture, SIKS-day 2005, School for Information and Knowledge Systems 2005, Annual SIKS-day. Center Hoog Brabant, Utrecht, The Netherlands) — Andrea Omicini (Andrea Omicini)
- SODA: A Roadmap to Artefacts (talk, ESAW 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, CEEMAS 2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
- Artefacts in Agent-Oriented Software Engineering (talk, Agent Link III - TFG3 AOSE - Budapest, Hungary ) — Ambra Molesini (Ambra Molesini)
- Spaces for Programming Languages in MASs: A Perspective on Coordination, Organisation & Security (invited, PROMAS, 3rd AgentLink III Technical Forum Group Meeting) — Andrea Omicini (Andrea Omicini)
- Web Services Choreography and Choreography Description Language WS-CDL (seminar, Università di Bologna, II Faculty of Engineering, Cesena ) — Enrico Oliva (Enrico Oliva)
- A Framework for Engineering Interactions in Java-based Component Systems (talk, 4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)
- Zooming Multi-Agent Systems (talk, 6th International Workshop on Agent-Oriented Software Engineering ([AOSE 2005|http://www.agentgroup.unimo.it/aose05/])) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
- Field-based Coordination (lecture, Course on “Complex Adaptive Systems") — Franco Zambonelli, Marco Mamei (Franco Zambonelli, Marco Mamei)
- Agens Faber: Toward A Theory of Artifacts for MAS (invited, 1st International Workshop “Coordination and Organisation” (CoOrg 2005), COORDINATION 2005, Namur, Belgium) — Andrea Omicini (Andrea Omicini)
- Trends & Experiences in MAS Infrastructures (seminar, Department of Computer Science, University of Leuven, Belgium) — Andrea Omicini (Andrea Omicini)
- A Conceptual Framework for Self-Organising MAS (talk, 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
- Creatività tecnica come obbiettivo didattico (invited, KM-IA 2004) — Andrea Omicini (Andrea Omicini)
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (talk, AAMAS 2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
- Trends & Experiences in MAS Infrastructures (seminar, Dipartimento di Informatica, Università degli Studi di Pisa, Italy) — Andrea Omicini (Andrea Omicini)
- Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (lecture, EASSS 2004, Liverpool, UK) — Andrea Omicini (Alessandro Ricci, Andrea Omicini)
- Trends in MAS Infrastructures (invited, Workshop internazionale “The Law of Electronic Agents” (LEA 2004), Roma, Italy) — Andrea Omicini (Andrea Omicini)
- Towards Seamless Agent Middleware (talk, TAPOCS 2004@WET ICE 2004) — Giovanni Rimassa (Andrea Omicini, Giovanni Rimassa)
- Sistemi ad agenti intelligenti (seminar, CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica. Università di Bologna, Italy) — Andrea Omicini (Andrea Omicini)
- Towards Seamless Agent Middleware (talk, EUMAS 2003) — Andrea Omicini (Andrea Omicini, Giovanni Rimassa)
- Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (talk, EUMAS 2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (talk, EUMAS 2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
- Rethinking MAS Infrastructure based on Activity Theory (talk, EUMAS 2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Sascha Ossowski)
- Objective Coordination for FIPA Agents (talk, WOA 2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
- Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (tutorial, AAMAS 2003) — Andrea Omicini, Alessandro Ricci (Andrea Omicini, Alessandro Ricci)
- Framing Coordination: Early Notes (invited, AgentLink II Meeting, Barcelona, Cataluña, Spain) — Alessandro Ricci, Andrea Omicini (Alessandro Ricci, Andrea Omicini)
- Declarative Technologies for Internet and Agent Systems (talk, Giornata GULP 2002, Bologna, Italy) — Andrea Omicini (Andrea Omicini)
- Agents and Automatic Web Services (invited, AICA 2002) — Andrea Omicini (Andrea Omicini)
- Have ReSpecT for LogOp (talk, WOA 2002) — Andrea Omicini (Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
- Activity Theory as a Framework for MAS Coordination (talk, ESAW 2002) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Enrico Denti)
- Social Issues in the Construction of Agent Systems (tutorial, NETTAB 2002) — Andrea Omicini (Andrea Omicini)
- Imprese e ICT: problematiche e opportunità (invited, Convegno “Dall’E-Presence all’E-Business”, Imola, BO, Italia) — Andrea Omicini (Andrea Omicini)
- On the Notion of Agent Coordination Context (invited, IPCUC 2001) — Alessandro Ricci (Andrea Omicini)
- Context and C3 (Communication, Coordination and Cooperation) (invited, AgentLink II Meeting, Amsterdam, The Netherlands) — Andrea Omicini (Andrea Omicini)
- On the Notion of Agent Coordination Context: Preliminary Notes (talk, WOA 2001) — Andrea Omicini (Andrea Omicini)
- Objective versus Subjective Coordination in the Engineering of Agent Systems (invited, AgentLink II Meeting, Prague, Czech Republic) — Andrea Omicini, Sascha Ossowski (Andrea Omicini, Sascha Ossowski)
- The TuCSoN Coordination Infrastructure for Virtual Enterprises (talk, WET ICE 2001) — Enrico Denti (Alessandro Ricci, Andrea Omicini, Enrico Denti)
- Engineering Internet Agents Applications via Coordination (tutorial, Agents 2001, Montreal, Canada) — Andrea Omicini, Franco Zambonelli (Andrea Omicini, Franco Zambonelli)
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (talk, CM 2001@SAC 2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (talk, PADL'01) — Andrea Omicini (Enrico Denti, Andrea Omicini, Alessandro Ricci)
- Coordination Services for Agent Infrastructures (invited, AgentLink II Meeting, Amsterdam, The Nederland) — Andrea Omicini (Andrea Omicini)
- Coordination Technologies for Internet Agents (tutorial, SAINT 2001, San Diego, CA, USA) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini)
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (talk, WOA 2000) — Andrea Omicini (Andrea Omicini)
- Coordination Technologies for Internet Agents (tutorial, 2nd Joint Symposium on Agent Systems and Applications / Mobile Agents (ASA/MA 2000)) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini)
- Towards Robust Distributed Systems (invited, PODC 2000) — Eric A. Brewer (Eric A. Brewer)
- A Coordination Infrastructure for Agent-based Internet Applications (talk, WET ICE 2000) — Enrico Denti (Enrico Denti, Andrea Omicini)
- Coordination Technologies for Internet Agents (tutorial, 4th International Conference on Autonomous Agents (Agents 2000)) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini)
- Coordination Technologies for Internet Agents (tutorial, 1st Joint Symposium on Agent Systems and Applications / Mobile Agents (ASA/MA'99)) — Franco Zambonelli, Andrea Omicini, Paolo Ciancarini (Franco Zambonelli, Andrea Omicini, Paolo Ciancarini)
- Coordinazione: Ingegneria dell'interazione (informal, LIA, DEIS, Università di Bologna) — Andrea Omicini (Andrea Omicini)
- On the Semantics of Tuple-based Coordination Models (talk, CM @ SAC 1999@SAC 1999) — Andrea Omicini (Andrea Omicini)
- Tuple Centres for the Coordination of Internet Agents (talk, CM @ SAC 1999@SAC 1999) — Andrea Omicini (Andrea Omicini, Franco Zambonelli)
- Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (talk, CM @ SAC 1999@SAC 1999) — Marco Cremonini (Marco Cremonini, Andrea Omicini, Franco Zambonelli)
- Coordinazione: Ingegneria dell'interazione (seminar, Corso di Ingegneria del Software) — Andrea Omicini (Andrea Omicini)
- Embedding Intelligence into Coordination: The ACLT Model (seminar, IRST Doctorate School) — Andrea Omicini (Andrea Omicini)
- Beyond Computation: Coordination — Managing the Complexity of Interaction (seminar, IRST Doctorate School) — Andrea Omicini (Andrea Omicini)
- Programmable Coordination Media (talk, COORDINATION 1997) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini)
- Designing Multi-Agent Systems around an Extensible Communication Abstraction (talk, ModelAge‘97) — Enrico Denti (Enrico Denti, Andrea Omicini)
- Coordination: Constraining the Space of Interaction (seminar, Department of Computer Science) — Andrea Omicini (Andrea Omicini)
- Programmazione logica a vincoli (seminar, Corso di Intelligenza Artificiale) — Andrea Omicini (Andrea Omicini)
- Models and Paradigms of Interaction (tutorial, OOPSLA'95) — Peter Wegner (Peter Wegner)
- Agent Coordination and Control through Logic Theories (talk, AI*IA'95) — Enrico Denti (Andrea Omicini, Enrico Denti, Antonio Natali)
- Object-Oriented Computations in Logic Programming (talk, ECOOP 1994) — Andrea Omicini (Andrea Omicini, Antonio Natali)
- Exploiting Logic Programming in Robot Applications (talk, GULP 1993) — Andrea Omicini (Antonio Natali, Andrea Omicini, Francesco Zanichelli)
- Il prototipo APPEAL (project, Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, Sottoprogetto SP4: Linguaggi di nuova concezione – Project Meeting) — Andrea Omicini, Antonio Natali (Andrea Omicini, Antonio Natali, Cristina Ruggieri)
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (talk, GULP 1992) — Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti)
- Implementing Contexts in Logic Programming (talk, ELP'92) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)
talks
/
1992–2023
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini