All Talks
614
talks
Agentic Graph of Thoughts (AGoT): A Reasoning Framework for LLM Agents (AIxIA 2026, 08/10/2026) — Andrea Omicini
Multi-Agent Systems: Long Story Short (AIxIA 2026, 07/10/2026) — Andrea Omicini
AGE-ML: Agentic Architecture for Data-Centric AutoML (ADBIS 2026, 29/09/2026) — Matteo Francia
The Invisible Work Behind Universal Models (EASST 2026, 11/09/2026) — Manuel Battigaglia
From Language to Agency: Intermediate Representations for better LLM Agents (SKILLED-LLMs 2026 @ FLoC 2026, 18/07/2026) — Giovanni Ciatto
Actively Learning EL Terminologies from Large Language Models (ECAI-2025, 27/10/2025) — Matteo Magnini
Self-Explaining Agents (CompuLaw Final Conference, 14/07/2025) — Andrea Omicini
From Conflict to Concealment: The Role of Generative AI in Creating a Digital Utopia (WOA 2025, 04/07/2025) — Pierluigi Roberti
Self-Explaining Agents (26/05/2025) — Andrea Omicini
Exploiting Explainable Artificial Intelligence for Space Weather Investigations on Board LISA and Future Space Interferometers for Gravitational Wave Detection (20/02/2025) — Federico Sabbatini
Infusing Knowledge into Data-Driven Modelling of Complex Systems for Improved Quality and Interpretability (Final PhD Discussion, 20/02/2025) — Christel Sirocchi
Towards an integration of learning and reasoning in agent and multi-agent systems (National PhD Program in AI for Society, 19/02/2025) — Andrea Rafanelli
IA Generativa: Tecnologie ed Esempi di Utilizzo (Per un uso etico e responsabile dell’AI generativa tra conoscenza e applicazioni, 07/02/2025) — Giovanni Ciatto
AI-fairness: the FAIRBRIDGE approach to practically bridge the gap between socio-legal and technical perspectives (HICSS-58, 04/01/2025) — Mattia Matteini
Rule enforcement in LLMs: a parameter efficient fine-tuning approach with self-generated training dataset (AIxHMI 2024 @ AIxIA 2024, 26/11/2024) — Daniele Franch
Enforcing Fairness via Constraint Injection with FaUCI (AEQUITAS 2024, 20/10/2024) — Matteo Magnini
We Were Deep in NeSy When LLM Happened (LLM4Law 2024, 27/09/2024) — Andrea Omicini
Approximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (KDD 2024, 27/08/2024) — Andrea Agiollo
An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024, 09/07/2024) — Andrea Agiollo
Argumentation for Legal Reasoning: Meta-models, Technology and Beyond (PhD defence, 04/07/2024) — Giuseppe Pisano
Embedding AI into Constrained Devices: A Multi-Faceted Approach (24/06/2024) — Andrea Agiollo
Actively Learning Ontologies from LLMs: First Results (DL 2024, 20/06/2024) — Matteo Magnini
Large Language Models as Oracles for Instantiating Ontologies with Domain-Specific Knowledge (ENGINES Kick-off Meeting, 20/06/2024) — Giovanni Ciatto
Interacting agents and culture (ENGINES Kick-off Meeting, 20/06/2024) — Enrico Blanzieri
Space Aware Conversational Agents: “Where is Corrado”? (ENGINES Kick-off Meeting, 20/06/2024) — Corrado Santoro
Competenza culturale negli agenti intelligenti artificiali (ENGINES Kick-off Meeting, 20/06/2024) — Daniele Franch, Pierluigi Roberti
ML-BDI Agents: Vision and Survey (ENGINES Kick-off Meeting, 20/06/2024) — Andrea Agiollo
ENGINES Kick-off meeting @ Bologna UniGE contribution and workplan (ENGINES Kick-off Meeting, 20/06/2024) — Viviana Mascardi
On the external concurrency of current BDI frameworks for MAS (ENGINES Kick-off Meeting, 20/06/2024) — Giovanni Ciatto
Concurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024, 08/05/2024) — Alessandro Ricci
On the external concurrency of current BDI frameworks for MAS (EMAS 2024 @ AAMAS 2024, 06/05/2024) — Alessandro Ricci
Mitigating Intersectional Fairness: a Practical Approach with FaUCI (AIMMES 2024, 20/03/2024) — Matteo Magnini
Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023, 08/11/2023) — Giovanni Ciatto
Peer-Reviewed Federated Learning (WOA 2023, 07/11/2023) — Andrea Omicini
Collaborative Decision-Making in Hybrid Agent Systems: a Synergy between Neural and Symbolic Capabilities (06/10/2023) — Andrea Rafanelli
Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023, 04/10/2023) — Federico Sabbatini
Intelligent Systems Engineering: Course presentation (Presentazione dei corsi a scelta per la laurea magistrale “Ingegneria e scienze informatiche”, 22/09/2023) — Andrea Omicini
Measuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023, 19/09/2023) — Andrea Omicini
Multi-Agent Systems & Project Work in Multi-Agent Systems: Presentation of the Courses (Welcome Day of the Master Degree Program in Artificial Intelligence, 14/09/2023) — Andrea Omicini
Explainable Clustering with CREAM (KR 2023, 07/09/2023) — Federico Sabbatini
Symbolic Transfer Learning through Knowledge Manipulation Methods (KR 2023 Doctoral Consortium @ KR 2023, 05/09/2023) — Matteo Magnini
ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023 @ KR 2023, 03/09/2023) — Federico Sabbatini
Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (KoDis 2023 @ KR 2023, 03/09/2023) — Federico Sabbatini
XAI: Current Frontiers and the Path Ahead Towards Trustworthy AI (XLoKR 2023 @ KR 2023, 02/09/2023) — Roberta Calegari
Assessing and Enforcing Fairness in the AI Lifecycle (IJCAI 2023, 23/08/2023) — Roberta Calegari
eXplainable Artificial Intelligence (XAI): A Gentle Introduction (ASAI-ER 2023, 27/07/2023) — Matteo Magnini
Intelligent Agents: A Gentle Introduction (ASAI-ER 2023, 25/07/2023) — Giovanni Ciatto
On the role of computational logic in MAS: practice with 2P-Kt (EASSS 2023, 17/07/2023) — Giovanni Ciatto
GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023, 05/07/2023) — Andrea Agiollo, Enkeleda Bardhi
Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023 @ AAMAS 2023, 29/05/2023) — Federico Sabbatini
A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023 @ AAMAS 2023, 29/05/2023) — Giovanni Ciatto
The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (EXTRAAMAS 2023 @ AAMAS 2023, 29/05/2023) — Andrea Agiollo
eXplainable Artificial Intelligence (XAI): A Gentle Introduction (Programma formativo BBS “BPER – Data Analytics”, 05/05/2023) — Andrea Omicini, Giovanni Ciatto, Matteo Magnini
On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (AITA@AAAI-SS 2023, 27/03/2023) — Roberta Calegari
Resource-Friendly Artificial Intelligence (17/01/2023) — Andrea Agiollo
On the role of abductive reasoning in semantic image segmentation (AIxIA 2022, 02/12/2022) — Andrea Rafanelli
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022, 29/11/2022) — Matteo Magnini
Symbolic Knowledge Extraction via PSyKE: A Tutorial (PRIMA 2022, 16/11/2022) — Giovanni Ciatto
Symbolic Knowledge Injection via PSyKI. A Tutorial (PRIMA 2022, 16/11/2022) — Giovanni Ciatto
Kick-off meeting – Project Introduction (AEQUITAS Kick-off Meeting, 14/11/2022) — Roberta Calegari
Legal reasoning: argumentation and explanation (Last-JD Board, 14/10/2022) — Giuseppe Pisano
Panel: Tackling Bias and Unfairness in AI (R.AI 2022, 11/10/2022) — Roberta Calegari
Tackling Bias and Unfairness in AI (R.AI 2022, 11/10/2022) — Roberta Calegari
Dive into Symbolic Knowledge Extraction & Injection: gentle introduction and technologies (KDD Lab reading group 2022, University of Pisa, 07/10/2022) — Matteo Magnini
Arguing about the existence of conflicts (COMMA 2022, 16/09/2022) — Giuseppe Pisano
Explainable Pervasive Intelligence with Self-explaining Agents (PICom 2022, 14/09/2022) — Andrea Omicini
Computational argumentation and symbolic reasoning for explainable (ArgXAI 2022 @ COMMA 2022, 12/09/2022) — Roberta Calegari
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022, 01/09/2022) — Andrea Rafanelli
A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022, 01/09/2022) — Matteo Magnini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022, 01/09/2022) — Federico Sabbatini
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022, 04/08/2022) — Roberta Calegari
GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022, 02/08/2022) — Andrea Agiollo
GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022, 02/08/2022) — Andrea Agiollo
Logic Programming library for Machine Learning: API design and prototype (CILC 2022, 01/08/2022) — Giovanni Ciatto
Clustering-Based Approaches for Symbolic Knowledge Extraction (KR&ML@KR 2022, 31/07/2022) — Roberta Calegari
Grounding Trustworthy AI: from high-level principles to technical requirements (IJCAI-ECAI 22, 25/07/2022) — Roberta Calegari
Human-centric AutoML via Argumentation (ICR Seminars, 17/07/2022) — Giuseppe Pisano
KINS: Knowledge Injection via Network Structuring (CILC 2022, 01/07/2022) — Matteo Magnini
SKI: Symbolic Knowledge Injection, state of the art and research perspectives (EXPECTATION Meeting, 09/06/2022) — Matteo Magnini
Overcoming human bias – Sex and gender in research on artificial intelligence (ERA Gender Workshop 2022, 24/05/2022) — Roberta Calegari
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022 @ AAMAS 2022, 09/05/2022) — Matteo Magnini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022 @ AAMAS 2022, 09/05/2022) — Federico Sabbatini
On the Integration of Symbolic and Sub-symbolic – Explaining by Design (Italian National PhD Program in Artificial Intelligence, 10/02/2022) — Andrea Omicini
Legal reasoning: argumentation and explanation (Last-JD Board, 01/01/2022) — Giuseppe Pisano
Explaining conflicts of norms in criminal matters: an argumentation approach (AICOL-XIII@JURIX 2021, 08/12/2021) — Marco BIlli
Neuro-Symbolic Deep Deductive Reasoning (AIxIA 2021, 02/12/2021) — Pascal Hitzler
Probabilistic logic programming in 2P-Kt (AIxIA 2021, 01/12/2021) — Giovanni Ciatto
Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano
Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021, 29/11/2021) — Giuseppe Pisano
Burdens of Persuasion and Standards of Proof in Structured Argumentation (CLAR 2021, 20/10/2021) — Giovanni Sartor
Embedding Artificial Intelligence into Constrained Devices (PhD 1st-year report, 20/10/2021) — Andrea Agiollo
Explainability through argumentation in logic programming (CAUSAL 2021 @ ICLP 2021, 20/09/2021) — Marco Billi, Giuseppe Pisano
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021, 07/09/2021) — Giuseppe Pisano
Towards cooperative argumentation for MAS: an Actor-based approach (WOA 2021, 03/09/2021) — Roberta Calegari
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap (WOA 2021, 02/09/2021) — Andrea Agiollo
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021, 01/09/2021) — Federico Sabbatini
The Burden of Persuasion in Structured Argumentation (ICAIL 2021, 23/06/2021) — Giovanni Sartor
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021, 07/05/2021) — Viviana Mascardi
Agents Explaining to Agents (EXTRAAMAS 2021 @ AAMAS 2021, 04/05/2021) — Andrea Omicini
Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021 @ AAMAS 2021, 03/05/2021) — Amro Najjar
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021 @ AAMAS 2021, 03/05/2021) — Andrea Agiollo
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021 @ AAMAS 2021, 03/05/2021) — Federico Sabbatini
Graph Neural Networks - Theory & Applications (Internal Seminar, 30/04/2021) — Andrea Agiollo
Legal reasoning: argumentation and explanation (Last-JD Board, 28/04/2021) — Giuseppe Pisano
Teaching the Old AI Dog New Symbolic Tricks (ALMA-AI Foundations of AI 2021, 27/04/2021) — Andrea Omicini
Artificial Intelligence in Embedded Environments (PhD Review - The Research Hub by Electrolux Professional, 31/03/2021) — Andrea Agiollo
Machine Learning: Classification and Regression (From the Software Engineer Perspective) (Spritenario 2021, 12/03/2021) — Giovanni Ciatto
Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020, 10/12/2020) — Giuseppe Pisano
A Model for the Burden of Persuasion in Argumentation (JURIX 2020, 10/12/2020) — Roberta Calegari
Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020, 27/11/2020) — Andrea Omicini
Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020, 25/11/2020) — Roberta Calegari
Arg-tuProlog: a tuProlog-based argumentation framework (CILC 2020, 13/10/2020) — Giuseppe Pisano
Burden of Persuasion in Argumentation (ICLP 2020, 20/09/2020) — Roberta Calegari
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020, 16/09/2020) — Giovanni Ciatto
Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020, 15/09/2020) — Giuseppe Pisano
Computable Law as Argumentation-based MAS (WOA 2020, 14/09/2020) — Roberta Calegari
Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020 @ AAMAS 2020, 09/05/2020) — Davide Calvaresi
An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020, 09/05/2020) — Giovanni Ciatto
Machine Learning: Classification and Regression (From the Software Engineer Perspective) (PSLab Workshop Series, 18/12/2019) — Giovanni Ciatto
Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019, 12/12/2019) — Giovanni Sartor
The Quest Towards Coordination from Distributed to Socio-Technical Systems (Research Seminar “AI: From tutorials to hands on”, 06/12/2019) — Stefano Mariani
Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019 @ AI*IA 2019, 22/11/2019) — Giovanni Ciatto
Real-Time Multi-Agent Systems: challenges, model, and performance analysis (06/11/2019) — Davide Calvaresi
Docker for Devs (PSLab seminars series, 30/10/2019) — Stefano Mariani
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019, 11/10/2019) — Roberta Calegari
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019, 10/10/2019) — Stefano Mariani
TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019, 01/08/2019) — Giovanni Ciatto
Empirical Model Learning: Merging knowledge-based and data-driven decision models through machine learning (12/07/2019) — Michela Milano
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019, 28/06/2019) — Roberta Calegari
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19, 27/06/2019) — Giovanni Ciatto
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19, 27/06/2019) — Giovanni Ciatto
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019 @ PAAMS'19, 26/06/2019) — Giovanni Ciatto
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (CBMS 2019, 07/06/2019) — Stefano Mariani
Compulaw: Law-by-Design & Machine Law (14/05/2019) — Giuseppe Contissa
Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum (BCT4MAS 2018 @ WI 2018, 03/12/2018) — Giovanni Ciatto
Blockchain for Intelligent Systems: Research Perspectives (BCT4MAS 2018 @ WI 2018, 03/12/2018) — Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018, 28/11/2018) — Giovanni Ciatto
Democracy by Design: Basic Democracy and the Self-Organisation of Collective Governance (Sala Riunioni DISI, 11/09/2018) — Jeremy V. Pitt
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018, 14/07/2018) — Andrea Omicini
Distributed Speaking Objects: a Case for Massive Multiagent Systems (MMAS 2018, 14/07/2018) — Franco Zambonelli
From the Blockchain to Logic Programming and back: Research perspectives (WOA 2018, 29/06/2018) — Giovanni Ciatto
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018, 29/06/2018) — Giovanni Ciatto
Blockchain & Smart Contracts: Basics and Perspectives for MAS (WOA 2018 Mini School @ WOA 2018, 27/06/2018) — Giovanni Ciatto
Coordination of Complex Socio-technical Systems: Challenges and Opportunities (FOCLASA 2018 @ STAF 2018, 26/06/2018) — Stefano Mariani
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018, 18/06/2018) — Stefano Mariani
Artificial Intelligence and Beyond: History, Perspectives, Challenges (Going Digital, Global MBA, BBS, 08/06/2018) — Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018 @ ACM/IEEE IoTDI, 17/04/2018) — Giovanni Ciatto
Conversational Informatics: From Conversational Systems to Communication Intelligence (MBA Part-Time (Evening), 20/03/2018) — Andrea Omicini
Complexity in Computational Systems: The Coordination Perspective (Complex Systems Physics 2018, 15/02/2018) — Andrea Omicini
Ologrammi e Mondi Aumentati: come sarà il nostro futuro? (UniJunior 2017, 02/12/2017) — Angelo Croatti
Learn to Code, Code to Learn… che forza il coding! (UniJunior 2017, 02/12/2017) — Alessandro Ricci
Introduzione alla Blockchain – Bitcoin, criptovalute e altre applicazioni (Open Your Mind 2017, 15/11/2017) — Giovanni Ciatto
Democratic process and electronic platforms: concerns of an engineer (FoD 2016, 03/11/2017) — Danilo Pianini
Programming the Interaction Space Effectively with ReSpecTX (IDC 2017, 12/10/2017) — Stefano Mariani
Towards Argumentation-based Recommendations for Personalised Patient Empowerment (HealthRecSys 2017 @ RecSys 2017, 31/08/2017) — Stefano Mariani
Nature-inspired Coordination: Current Status and Research Trends (WI 2017, 23/08/2017) — Andrea Omicini, Stefano Mariani
A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (PhD Defense, 03/07/2017) — Francesco Luca De Angelis
Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17, 23/06/2017) — Enrico Denti
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017, 16/06/2017) — Andrea Omicini
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tricks (WOA 2017, 16/06/2017) — Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017, 16/05/2017) — Andrea Omicini
Frontiers of Autonomous Systems (MBA Evening, 14/03/2017) — Andrea Omicini
Conversational Informatics: From Conversational Systems to Communication Intelligence (MBA Part-Time (Evening), 22/02/2017) — Andrea Omicini
Aggregate Computing (“Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 17/02/2017) — Mirko Viroli
Spatial Multi-Agent Systems (“Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 15/02/2017) — Andrea Omicini
Cosa ci fa un Pokémon in mezzo alla strada? (UniJunior 2016, 19/11/2016) — Angelo Croatti
Come ti programmo un videogioco in 1 ora (UniJunior 2016, 19/11/2016) — Alessandro Ricci
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016, 11/10/2016) — Alessandro Ricci
Towards a Foundational API for Resilient Distributed Systems Design (eCAS 2017 @ SASO 2017, 18/09/2016) — Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala (MAS&S'16 @ FedCSIS 2016, 14/09/2016) — Danilo Pianini
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016, 14/09/2016) — Enrico Denti
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (WOA 2016, 30/07/2016) — Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016, 30/07/2016) — Andrea Omicini
Game Engines to Model MAS: A Research Roadmap (WOA 2016, 30/07/2016) — Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016, 29/07/2016) — Andrea Omicini
Spatial Multi-Agent Systems (EASSS 2016, 28/07/2016) — Andrea Omicini
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BISON Approach (25/07/2016) — Andrea Omicini
Foundations of Multi-Agent Systems (EASSS 2016, 25/07/2016) — Andrea Omicini
Labelled Variables in Logic Programming: Foundations (CILC 2016, 20/06/2016) — Roberta Calegari
WP8: Legal, Ethical and Societal Issues (BISON Technical Meeting, 31/05/2016) — Claudia Cevenini
WP8: Legal, Ethical and Societal Issues (BISON Advisory Board Meeting, 30/05/2016) — Claudia Cevenini
Partner presentation (BISON Advisory Board Meeting, 30/05/2016) — Claudia Cevenini
Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (PhD Defense, 12/05/2016) — Stefano Mariani
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well, Maybe) (ISA Forum 2016, 10/05/2016) — Andrea Omicini
Frontiers of Autonomous Systems (MBA Alma Graduate School, 03/05/2016) — Andrea Omicini
Advanced Coordination Techniques: Experiments with TuCSoN and ReSpecT (Mobile and Distributed Programming course, University of Namur, 28/04/2016) — Stefano Mariani
Software development made serious (18/03/2016) — Danilo Pianini
Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (PhD Presentation to Collegio, 24/02/2016) — Stefano Mariani
BISON – Big speech data analytics for contact centers (Corso di Informatica e Diritto, CdL Ingegneria e Scienze Informatiche, 10/12/2015) — Claudia Cevenini
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Perspective (ISTC CNR, 06/11/2015) — Stefano Mariani
D8.3 Legal, ethical and societal issues of BISON - II (Joint Meeting, 19/10/2015) — Claudia Cevenini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015, 24/09/2015) — Stefano Mariani
Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @ AI*IA 2015, 23/09/2015) — Roberta Calegari
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015, 18/06/2015) — Franco Zambonelli
Agent Environments in the Ambient Event Calculus (WOA 2015, 18/06/2015) — Kostas Stathis
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015, 03/06/2015) — Stefano Mariani
D8.2 Legal, ethical and societal issues of BISON. General framework (Joint Meeting, 28/05/2015) — Claudia Cevenini
Frontiers of Autonomous Systems (MBA Alma Graduate School, 12/05/2015) — Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015, 06/05/2015) — Andrea Omicini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015 @ AAMAS 2015, 05/05/2015) — Danilo Pianini
Protelis: Practical Aggregate Programming (CM 2015 @ SAC 2015, 16/04/2015) — Danilo Pianini
Engineering Complex Computational Ecosystems (PhD Defense, 14/04/2015) — Danilo Pianini
The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems (UN-LAWS 2015, 13/04/2015) — Andrea Omicini
Ethical and legal support – UniBO role and activities in BISON (Kick-off Meeting - Tutorial session, 15/01/2015) — Enrico Denti
Big speech data privacy issues (Kick-off Meeting - Scientific session, 15/01/2015) — Claudia Cevenini
UniBO Partner introduction (Kick-off Meeting - Partner Introduction, 15/01/2015) — Enrico Denti
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015, 10/01/2015) — Roberta Calegari
Stochastic Coordination in CAS: Expressiveness & Predictability (CAS@Dagstuhl 2014, 15/12/2014) — Stefano Mariani
Coordination-aware Elasticity (UCC 2014, 11/12/2014) — Hong-Linh Truong
Extending a Smart Home multi-agent system with Role-Based Access Control (ITS 2014, 11/12/2014) — Marco Prandini
Design (CM @ CUSO 2014, 21/11/2014) — Paul Pangaro
Coordination: The what, the when and the how (CM @ CUSO 2014, 21/11/2014) — René Schumann
Conversation (CM @ CUSO 2014, 21/11/2014) — Paul Pangaro
Research Trends in Nature-inspired Coordination Models (CM @ CUSO 2014, 21/11/2014) — Andrea Omicini
Coordination Games in Multi-Agent Environments (CM @ CUSO 2014, 21/11/2014) — Visara Urovi
Laws and Models in Physics vs Biology and the Continuum vs Discrete Interplay (CM @ CUSO 2014, 20/11/2014) — Giuseppe Longo
Introduction to Cybernetics – 1st and 2nd order (CM @ CUSO 2014, 20/11/2014) — Paul Pangaro
Human centred Cyber Physical Systems (CM @ CUSO 2014, 20/11/2014) — Benjamin Hadorn
Interaction, Complexity, Coordination (CM @ CUSO 2014, 20/11/2014) — Andrea Omicini
Nature-inspired Models of Coordination (CM @ CUSO 2014, 20/11/2014) — Andrea Omicini
Randomness and diversity in biology: comparing complexity and functional organization (CM @ CUSO 2014, 19/11/2014) — Giuseppe Longo
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (DISI - OSIMAS meeting, 13/11/2014) — Stefano Mariani
Oscillations Based Multi-Agent System (OSIMAS) Development (Erasmus+ Mobility Training, 12/11/2014) — Darius Plikynas, Andrej Cholscevnikov
TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014, 26/09/2014) — Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework. Preliminary Notes (Mini-scuola WOA 2014 @ WOA 2014, 25/09/2014) — Andrea Omicini
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014, 23/09/2014) — Andrea Omicini
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (FoCAS 2014, 08/09/2014) — Stefano Mariani
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014, 03/09/2014) — Stefano Mariani
Agent-based and Chemical-inspired Approaches for Multicellular Models (CINI InfoLife 2014, 11/07/2014) — Sara Montagna
Frontiers of Autonomous Systems (MBA Alma Graduate School, 08/05/2014) — Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (Distributed Systems Group, TU Wien, 29/04/2014) — Stefano Mariani
The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy (AWS-LEP 2014, 24/04/2014) — Andrea Omicini
The Autonomy of Automated Systems (AWS-LEP 2014, 24/04/2014) — Giovanni Sartor
Research Trends in Nature-Inspired Coordination (DISI PhD School in Computer Science and Engineering, 19/02/2014) — Andrea Omicini
Nature-inspired Models of Coordination (DISI PhD School in Computer Science and Engineering, 12/02/2014) — Andrea Omicini
Engineering Adaptive Service Ecosystems (DISI PhD School in Computer Science and Engineering, 12/02/2014) — Mirko Viroli
Tuple-based Coordination of Distributed Systems (DISI PhD School in Computer Science and Engineering, 05/02/2014) — Andrea Omicini
Interaction & Coordination in Distributed Systems (DISI PhD School in Computer Science and Engineering, 05/02/2014) — Andrea Omicini
Thou Shalt is not You Will (08/01/2014) — Guido Governatori
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (C-SmartCPS 2013 @ ICA3PP-2013, 20/12/2013) — Andrea Omicini
Addressing Liability Impact of Automated Systems: The Legal Case (13/12/2013) — Giuseppe Contissa
Liability and Automation in ATM (13/12/2013) — Giuseppe Contissa
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013, 02/12/2013) — Andrea Omicini
Space-aware Coordination in ReSpecT (WOA 2013, 02/12/2013) — Andrea Omicini
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013, 02/12/2013) — Stefano Mariani
WP6 - Dissemination, Collaboration & Exploitation - 3rd Year & Final Report ("SAPERE" Final Review, 20/11/2013) — Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (ABC:MI 2013 @ MATES 2013, 17/09/2013) — Stefano Mariani
Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013, 11/09/2013) — Andrea Omicini
A core calculus of computational fields (FOCLASA 2013 @ ESOCC 2013, 11/09/2013) — Mirko Viroli
Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13, 25/06/2013) — Andrea Omicini
WP1 at M32: State and Plans (M32 Consortium Meeting, 18/06/2013) — Mirko Viroli
SAPERE Analysis tools (M32 SAPERE Consortium Meeting, 18/06/2013) — Danilo Pianini
SAPERE Methodology: Towards the Final Version (M32 Consortium Meeting, 18/06/2013) — Andrea Omicini
Engineering Computational Ecosystems (2nd year PhD seminar) (PhD, 2nd year seminar, 07/06/2013) — Danilo Pianini
Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013, 04/06/2013) — Stefano Mariani
Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective (COORDINATION 2013, 03/06/2013) — Andrea Omicini
Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli
From Engineer to Alchemist, There and Back Again: An Alchemist Tale (24/05/2013) — Danilo Pianini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (LSA Course 2012/2013, 17/05/2013) — Stefano Mariani
Molecules of Knowledge: a Novel Approach over Knowledge Management (PiM 2013, 11/05/2013) — Stefano Mariani
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013, 07/05/2013) — Mirko Viroli
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013 @ AAMAS 2013, 06/05/2013) — Stefano Mariani
Composing gradients for a context-aware navigation of users in a smart-city (SCW 2013 @ AAMAS 2013, 06/05/2013) — Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013 @ AAMAS 2013, 06/05/2013) — Mirko Viroli
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013, 03/04/2013) — Stefano Mariani
Spatial Computing with Chemistry (Bioinformatics LabMeeting, 26/03/2013) — Mirko Viroli
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (DEI, Politecnico di Bari, 22/03/2013) — Andrea Omicini
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013 @ SAC 2013, 21/03/2013) — Stefano Mariani
Autonomy, Interaction & Complexity in Computational Systems. Preliminary Notes (LaPfAMS 2013, 06/03/2013) — Andrea Omicini
SAPERE Methodology - The Complete Process (SAPERE Meeting , 20/02/2013) — Ambra Molesini
WP1 tools: current status and ongoing work (SAPERE General Meeting, 20/02/2013) — Danilo Pianini
SAPERE Methodology: Status & Next Steps (General SAPERE Meeting, 20/02/2013) — Andrea Omicini
Glocality: emergent behaviours (CINA kickoff meeting, 06/02/2013) — Mirko Viroli
SAPERE project (and relevance for CINA) (CINA kickoff meeting, 06/02/2013) — Mirko Viroli
Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (30/01/2013) — Andrea Santi
Agent Models with Interaction: The Thermodynamics and Statistical Mechanics Perspectives (APICe Meeting, 15/01/2013) — Pierluigi Contucci
The TuCSoN Coordination Model & Technology. A Guide (TuCSoN, 09/01/2013) — Andrea Omicini, Stefano Mariani
Nature-inspired Coordination for Complex Multi-Agent Systems (EUMAS 2012, 18/12/2012) — Andrea Omicini
Engineering Computational Ecosystems (Vieni Via con Noi 2012, 05/11/2012) — Danilo Pianini
Recipes for Sabayon: cook your own Linux distro within two hours (Linux Day 2012 Cesena, 27/10/2012) — Danilo Pianini
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (AGERE! 2012 @ SPLASH 2012, 21/10/2012) — Andrea Santi
Nature-inspired Coordination for Complex Distributed Systems (IDC 2012, 26/09/2012) — Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012, 25/09/2012) — Stefano Mariani
An Eclipse-based IDE for Agent-Oriented Programming in simpAL (Eclipse-IT 2012, 21/09/2012) — Andrea Santi
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012, 19/09/2012) — Danilo Pianini
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012, 19/09/2012) — Danilo Pianini
Programming Distributed Multi-Agent Systems in simpAL (WOA 2012, 18/09/2012) — Andrea Santi
SAPERE WP6 in Y2 – Preview (SAPERE Meeting, SASO 2012, 12/09/2012) — Andrea Omicini
Gradient-based Self-organisation Patterns of Anticipative Adaptation (SASO 2012, 11/09/2012) — Danilo Pianini
WP1 @ M24 Progresses and Review (SAPERE Meeting, SASO 2012, 10/09/2012) — Mirko Viroli
Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Stefano Mariani
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Mirko Viroli
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Andrea Omicini
SAPERE Methodology Alpha Version (SAPERE Meeting @ SASO 2012, Lyon, France, 10/09/2012) — Andrea Omicini
Alchemist simulator: ready for M20 release (General SAPERE Meeting, 11/06/2012) — Danilo Pianini
SAPERE WP6 Issues (Joint Meeting, 11/06/2012) — Sara Montagna
WP1 @ M21. Progresses and Plan (General SAPERE Meeting, 11/06/2012) — Mirko Viroli
Conceptual approaches to Semantic IR System (Meeting with Stefano Mariani and Andrea Omicini, 06/06/2012) — Antonella Carbonaro
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (Meeting with Antonella Carbonaro & Andrea Omicini, 06/06/2012) — Stefano Mariani
Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure (ITMAS 2012 @ AAMAS 2012, 05/06/2012) — Olivier Boissier
Typing Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi
The simulation alchemy (08/05/2012) — Danilo Pianini
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012 @ SAC 2012, 29/03/2012) — Mirko Viroli
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (SAC 2012, 28/03/2012) — Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012, 28/03/2012) — Sara Montagna
Self-adaptive Service Ecosystems for Pervasive Computing (DISI seminars, 15/03/2012) — Mirko Viroli
Agent-Oriented Computing (DISI seminars, 15/03/2012) — Alessandro Ricci
SAPERE WP6 Towards M24 (General SAPERE Meeting, 28/02/2012) — Andrea Omicini
WP1 @ M17. Progresses and Plan (General SAPERE Meeting, 27/02/2012) — Mirko Viroli
SAPERE Methodology: A first sketch (General SAPERE Meeting, Frankfürt, Germany, 27/02/2012) — Andrea Omicini
Alchemist simulator (General SAPERE Meeting, 27/02/2012) — Danilo Pianini
FuturICT: An Introduction (InfoDay ICT 2012, 14/02/2012) — Andrea Omicini
UniBo middleware prototype and eco-laws language (WP4 Meeting in Linz, Austria, 29/11/2011) — Danilo Pianini
WP6 – Dissemination, Collaboration & Exploitation (Review Y1, Bruxelles, Belgium, 15/11/2011) — Andrea Omicini
From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach (AVLS 2011, 11/11/2011) — Franco Zambonelli
Coordination Models and Technologies toward Self-Organising Systems (AVLS 2011, 04/11/2011) — Andrea Omicini
JaCa-Android: an agent-based platform for building smart mobile applications (AGERE! 2011 @ SPLASH 2011, 24/10/2011) — Andrea Santi
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (AGERE! 2011 @ SPLASH 2011, 24/10/2011) — Andrea Santi
Exploiting the JaCaMo framework for realising an adaptive room governance application (AGERE! 2011 @ SPLASH 2011, 24/10/2011) — Andrea Santi
Agent-Oriented Programming for Developing Modern Software Systems (21/10/2011) — Andrea Santi
Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development (FUTURE COMPUTING 2011 @ ComputationWorld 2011, 26/09/2011) — Andrea Santi
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (Eclipse-IT 2011, 23/09/2011) — Andrea Santi
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (MAS&S'11 @ FedCSIS 2011, 19/09/2011) — Danilo Pianini
Coordination Models and Technologies toward Self-Organising Systems (CILC 2011, 31/08/2011) — Andrea Omicini
Towards Adaptive Service Ecosystems with Agreement Technologies (Internal Meeting, DEIS, Bologna, 24/08/2011) — José Santiago Pérez-Sotelo
A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini
A Simulation Framework for Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini
BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011, 05/07/2011) — Andrea Omicini
Coordination Models and Languages: From Parallel Computing to Self-Organisation (WOA 2011, 04/07/2011) — Andrea Omicini
Tesi on line (Consiglio di Facoltà della Seconda Facoltà di Ingegneria, Forlì, FC, 30/06/2011) — Andrea Omicini
WP1 Activities: General state, details on the model, future plans (SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011) — Mirko Viroli
A Prototype of LSA-space (SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011) — Elena Nardini
SAPERE WP6 @ M9 (SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011) — Andrea Omicini
An application of the WP1 computational model to a real scenario (SAPERE M9 Meeting, University of St. Andrews, UK, 23/06/2011) — Sara Montagna
Alchemist is a SAPERE-oriented simulator (SAPERE M9 Meeting, University of St. Andrews, UK, 23/06/2011) — Danilo Pianini
Alchemist is a SAPERE-oriented simulator (WP1 Workshop, Cesena, Italy, 14/06/2011) — Danilo Pianini
Dynamic Social Networks: Modeling Trust, Shocks and Hype (Laboratorio di Sistemi e Applicazioni 2010/2011, 07/06/2011) — Marco Cremonini, Luca Allodi
Semantic and Fuzzy Coordination Through Programmable Tuple Spaces (Seminar for Laboratory of Systems and Applications 2010-2011, 31/05/2011) — Elena Nardini
Bio-ICT Convergence: Filling the Gap Between Computer Science and Biology (Seminar for Laboratory of Systems and Applications 2010-2011, 24/05/2011) — Sara Montagna
Multi-level models and infrastructures for simulating biological system development (DEIS, Università di Bologna, Ph.D. Defense (XXIII Cycle), 28/04/2011) — Sara Montagna
Semantic Coordination Through Programmable Tuple Spaces (28/04/2011) — Elena Nardini
SAPERE WP6 Short Overall Report – M1-M4 (SAPERE Meeting, Université de Genève, Suisse, 20/01/2011) — Andrea Omicini
WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (SAPERE M4 Meeting, Université de Genève, Suisse, 20/01/2011) — Mirko Viroli
WP1 Activities. General state, details on the model, future plans (SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011) — Mirko Viroli
Multi-Level Models and Infrastructures for Simulating Biological System Development (PhD Third Year Ending Seminar, 17/01/2011) — Sara Montagna
Semantic Coordination Through Programmable Tuple Spaces (PhD Third Year Ending Seminar, 17/01/2011) — Elena Nardini
Description Logics (17/12/2010) — Elena Nardini
SAPERE: Self-aware Pervasive Service Ecosystems (AWARE Meeting, Vrije Universiteit Amsterdam, The Netherlands, 14/12/2010) — Franco Zambonelli
Simulation & Multi-Agent Systems: An Introduction (Multiagent Systems LM, 14/12/2010) — Sara Montagna
Tutorial on Semantic Web (W3C, 25/11/2010) — Ivan Herman
Multi-level Approaches for a Deep Analysis of Morphogenesis in Living Systems (Corso di Biologia Molecolare della Cellula, 08/11/2010) — Sara Montagna
SAPERE: WP1 - Model & Methodology (SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010) — Mirko Viroli
SAPERE: WP6 - Dissemination (SAPERE Kick-Off Meeting, 05/10/2010) — Andrea Omicini
Self Organization in Coordination Systems using a WordNet-based Ontology (SASO 2010, 30/09/2010) — Sascia Virruso, Danilo Pianini
Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010, 07/09/2010) — Ambra Molesini
A Self-Organising Infrastructure for Chemical-Semantic Coordination (WOA 2010, 07/09/2010) — Elena Nardini
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010, 06/09/2010) — Alessandro Ricci
Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010, 06/09/2010) — Andrea Santi
From Coordination to Semantic Self-Organisation: A Perspective on the Engineering of Complex Systems (Mini-scuola WOA 2010 @ WOA 2010, 05/09/2010) — Andrea Omicini
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (LADS 2010 @ MALLOW 2010, 01/09/2010) — Andrea Santi
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (LADS 2010 @ MALLOW 2010, 01/09/2010) — Andrea Santi
Developing Web Client Applications with JaCa-Web (WOA 2010, 01/09/2010) — Andrea Santi
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (EASSS 2010, 25/08/2010) — Andrea Santi
Agents & MAS: An Introduction (EASSS 2010, 23/08/2010) — Andrea Omicini
Multi-Agent Programming (EASSS 2010, 23/08/2010) — Olivier Boissier, Rafael H. Bordini, Mehdi Dastani, Jomi F. Hübner, Alessandro Ricci
Agent Oriented Software Engineering (Cours for Ph.D. Student of the Doctorate of Electronic, Computer science and Telecommunications Engineerin, 28/06/2010) — Ambra Molesini
A Framework for Modelling and Simulating Networks of Cells (CS2Bio'10 @ DisCoTec'10, 10/06/2010) — Sara Montagna
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (Course “Informatics System Design” (2009-2010), 25/05/2010) — Elena Nardini
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (PROMAS 2010 @ AAMAS 2010, 11/05/2010) — Andrea Santi
Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments - European PhD (PhD Dissertation, 30/04/2010) — Michele Piunti
Towards model-driven communications (ICSET 2010, 29/04/2010) — Ambra Molesini
Computational Agents & Artefacts (CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica, 13/04/2010) — Andrea Omicini
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010 @ SAC 2010, 26/03/2010) — Elena Nardini
Chemical-Inspired Self-Composition of Competing Services (SAC 2010, 26/03/2010) — Matteo Casadei
Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010 @ SAC 2010, 25/03/2010) — Ambra Molesini
Risk Analysis and Deployment Security Issues in a Multi-Agent System (ICAART 2010, 22/01/2010) — Ambra Molesini
Designing and Programming Organisational Infrastructures for Agents situated in Artifact-based Environments (PhD XXII cycle seminars, DEIS Università di Bologna, 14/01/2010) — Michele Piunti
Agent-based Models, Technologies and Methodologies for the Engineering of Software Systems in the Context of Open Scenarios (Seminar for the end of the Second Year of the Phd Activity, 14/01/2010) — Elena Nardini
Generic Programming Constructs and Applications in Object-Oriented Languages (DEIS, Università di Bologna, Ph.D. Final Seminar (XXII Cycle), 13/01/2010) — Maurizio Cimadamore
Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (CETINIA 2009, 02/12/2009) — Andrea Omicini
Coordination in Open and Dynamic Environments via TuCSoN Semantic Tuple Centres (Collaboration with Michael Schumacher at Technopole in Sierre, Western Switzerland, 18/11/2009) — Elena Nardini
Towards a framework for multi-level modelling in Computational Biology (PhD Second Year Ending Seminar, 14/10/2009) — Sara Montagna
Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS (14/10/2009) — Andrea Santi
An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks (APICe meeting, 22/09/2009) — Önder Gürcan
Embodying Organisations in Multi-Agent Work Environments (IAT 2009, 17/09/2009) — Michele Piunti
Embodied Organisations in MAS Environments (MATES 2009, 11/09/2009) — Michele Piunti
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (AWESOME'009 @ MALLOW'009, 09/09/2009) — Andrea Santi
Exploiting Agent Observability in Multi-Agent System Programming (MATES 2009, 09/09/2009) — Michele Piunti
Agent Oriented Software Engineering (EASSS 2009, 31/08/2009) — Ambra Molesini, Massimo Cossentino
Agents & MAS: An Introduction (EASSS 2009, 31/08/2009) — Andrea Omicini
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009, 10/07/2009) — Andrea Santi
A Computational Framework for Multilevel Morphologies (MEW 2009, 19/06/2009) — Sara Montagna
Design of SOA/WS applications using an Agent-based approach (Lecture Seminar in the context of Distributed System - A.A. 2008/2009, 12/06/2009) — Andrea Santi, Michele Piunti
Programming Agents with Jason (aliCE Workshop 2009, 10/06/2009) — Jomi F. Hübner
Environment Programming in MAS with CArtAgO (aliCE Workshop 2009, 10/06/2009) — Alessandro Ricci
Organisation-Oriented Programming of MAS (aliCE Workshop 2009, 10/06/2009) — Olivier Boissier
A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (CEC 2009, 21/05/2009) — Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (CEC 2009, 20/05/2009) — Mirko Viroli
Agent Oriented Software Engineering Methodologies (AAMAS 2009, 13/05/2009) — Andrea Omicini
Introducing Relevance Awareness in BDI Agents (PROMAS 2009 @ AAMAS 2009, 12/05/2009) — Michele Piunti
Un approccio multi-agente / sistemi blackboard per l'esplorazione di problemi complessi in biologia strutturale (Aula 2, via Venezia 260, Cesena, Italy, 22/04/2009) — Pedro Pablo González Pérez
Embodying Organisations - an Introduction (Seminar at Ecole des Mines - G2I, St-Etienne (France), 10/04/2009) — Michele Piunti
Self-Organising Coordination Systems (PhD Final Dissertation, 08/04/2009) — Matteo Casadei
Situated Tuple Centres in ReSpecT (SAC 2009, 10/03/2009) — Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009, 10/03/2009) — Matteo Casadei
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009 @ SAC 2009, 09/03/2009) — Andrea Omicini
An Agent-based Application for Home Intelligence (ICAART 2009, 20/01/2009) — Andrea Omicini
From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009) — Michele Piunti
From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS (EUMAS 2008, 18/12/2008) — Michele Piunti
SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures (AOSE TFG6, 17/12/2008) — Ambra Molesini
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (IAT 2008, 11/12/2008) — Michele Piunti
Programming BDI agents in Jadex (Multi-Agent Systems (principles and applications) in Master Web Intelligence (Université Jean Monnet and Ecole Nationale Superieure des Mines St-Etienne) , 25/11/2008) — Michele Piunti
Coordination in Multi-agent Systems (Seminar for Multi-agent System Course, 20/11/2008) — Elena Nardini
MEnSA: Résumé of Activities (MEnSA Meeting, ICAR-CNR, Palermo, Italy, 19/11/2008) — Andrea Omicini
SODA+TuCSoN: Methodologies' and Infrastructures' Processes (4th MEnSA Meeting, Palermo, ICAR-CNR, 19/11/2008) — Ambra Molesini
Model-driven Generation of Graphical Maps for e-Contents (Eclipse-IT 2008, 18/11/2008) — Enrico Oliva
From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS (WOA 2008, 18/11/2008) — Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008, 17/11/2008) — Ambra Molesini
Arguments and Artifacts for Dispute Resolution (WOA 2008, 17/11/2008) — Andrea Omicini
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008, 17/11/2008) — Fabiano Dalpiaz
DA A AD A : Towards a Cognitive Use of Artifacts in MAS (Séminaires G2I, Ecole Nationale Superieure des Mines St-Etienne, 13/11/2008) — Michele Piunti
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008, 23/10/2008) — Matteo Casadei
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008, 26/09/2008) — Elena Nardini
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008, 25/09/2008) — Ambra Molesini
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (KRAMAS 2008 @ KR 2008, 17/09/2008) — Emiliano Lorini
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (MAS&BIO 2008 @ AI*IA 2008, 11/09/2008) — Andrea Roli
Adaptive Coordination Models for Pervasive Environments (PerAda Summer School 2008, 07/09/2008) — Andrea Omicini
Goal Directed Agents using Artifacts (Dagstuhl Seminar 08361, 04/09/2008) — Michele Piunti
ReSpecT: Teaching The Old Dog New Tricks (Dagstuhl Seminar 08361, 04/09/2008) — Andrea Omicini
A Framework for Collaborative-Learning Systems Based on Agent Technologies (KCEC 2008, 01/09/2008) — Elena Nardini
Environment Programming in MAS: CARTAGO and Friends (Dagstuhl Seminar 08361, 04/08/2008) — Alessandro Ricci
Experiment with Stochastic Prolog as Simulation Language (CILC 2008, 10/07/2008) — Enrico Oliva
Scenari di sviluppo delle strategie web (DSAW, Alma Mater Studiorum-Università di Bologna, 03/07/2008) — Luca Garlaschelli
MEnSA: Résumé of Activities (3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia, 30/06/2008) — Andrea Omicini
Case Study in SODA (3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia, 30/06/2008) — Ambra Molesini
WP4: Case Study – Virtual Laboratory for Protein Structure Prediction ( 3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia, 30/06/2008) — Sara Montagna
Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008, 24/06/2008) — Matteo Casadei
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008 @ WET ICE 2008, 24/06/2008) — Matteo Casadei
A Conceptual Framework for Collaborative Learning Systems (Plenary meeting of the Minerva-Reset project, 26/05/2008) — Elena Nardini
ReSpecT in the A&A Perspective (Weekly aliCE Meetings, 23/05/2008) — Matteo Casadei
Argumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008, 12/05/2008) — Enrico Oliva
A Logic Programming Model for Web Resources (WEBIST 2008, 04/05/2008) — Giulio Piancastelli
Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (PhD Final Examination, 07/04/2008) — Ambra Molesini
Argumentation and Artifacts for Intelligent Multi-agent Systems (Final PhD presentation, 07/04/2008) — Enrico Oliva
Capabilities for Coordination: From Rights to Responsibilities (APICe Meeting, Cesena, Italy, 27/03/2008) — Alan Wood
SPEM on Test: The SODA Case Study (SAC 2008, 19/03/2008) — Andrea Omicini
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (SAC 2008, 18/03/2008) — Andrea Omicini
Self-Organising Approaches to Coordination (Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008) — Matteo Casadei
Toward a Framework for Collaborative Learning Based on Agent-based Technologies (INTED 2008, 03/03/2008) — Elena Nardini
On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions (WICSA 2008, 19/02/2008) — Alessandro Garcia
Web Logic Programming (aliCE weekly research meetings, 31/01/2008) — Giulio Piancastelli
MEnSA: What UNIBO has to do (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna, 22/01/2008) — Ambra Molesini
MEnSA: what UNIBO has done (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna, 21/01/2008) — Ambra Molesini
MEnSA: Résumé of the first year of Activities (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna , 21/01/2008) — Andrea Omicini
MEnSA: Outlook of the 2nd year of Activity (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna, 21/01/2008) — Andrea Omicini
SPEM on test: the SODA case study (EUMAS 2007, 07/12/2007) — Elena Nardini
Maude: A Language for Concurrent Rewriting (Computational Models and Languages LM, 29/11/2007) — Matteo Casadei
The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (Final Report about the First Two Years of Matteo Casadei's Phd Course, 06/11/2007) — Matteo Casadei
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007, 24/10/2007) — Andrea Omicini
Report on Technological tools/Platform usage (Project meeting, 22/10/2007) — Elena Nardini
Using Eclipse in Building Model-driven e-Learning Supports (Eclipse-IT 2007, 05/10/2007) — Enrico Oliva
Software Architecture (aliCE Meeting, 03/10/2007) — Ambra Molesini
On the Interplay of Crosscutting and MAS-Specific Styles (ECSA 2007, 25/09/2007) — Alessandro Garcia
Agents & Artifacts: A Meta-Model for Agent-Oriented Computing (Mini-scuola WOA 2007 @ WOA 2007, 23/09/2007) — Andrea Omicini
SPEM on test: the SODA case study (Incontri settimanali aliCE, 21/09/2007) — Elena Nardini
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (IWSOS 2007, 12/09/2007) — Matteo Casadei
Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07, 08/09/2007) — Andrea Omicini
About my 6 months in Lancaster (AliCE Meeting, 27/07/2007) — Ambra Molesini
On the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007, 11/07/2007) — Matteo Casadei
Building Smart Environments as Agent Workspaces (CoMA 2007 @ WET ICE 2007, 18/06/2007) — Giuseppe Vizzari
Matteo Casadei's Research Activity (Weekly aliCE Meetings, 15/06/2007) — Matteo Casadei
Attività svolte da Elena Nardini (aliCE weekly research meetings, 15/06/2007) — Elena Nardini
MEnSA - Methodologies for the Engineering of complex Software system: Agent-based approach (MEnSA Kick-off Meeting, Cesena, Hotel Casali, 04/06/2007) — Andrea Omicini
UNIBO: Multi-Agent System Infrastructure (MEnSA Kick-off Meeting, Cesena, Hotel Casali , 04/06/2007) — Ambra Molesini
Co-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007, 15/05/2007) — Alessandro Ricci
Designing Self-Organizing Multiagent Systems (Florida Tech: Fridays' Seminars, Spring 2007, 23/02/2007) — Matteo Casadei
L’infrastruttura STIL. Presentazione dei risultati finali del progetto (Presentazione finale del progetto {{stil/}}, 13/02/2007) — Alessandro Ricci
Conference Management Case Study (Visit to Lancaster, UK, 13/02/2007) — Ambra Molesini
The SODA Methodology (Visit to Lancaster, UK, 13/02/2007) — Ambra Molesini
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006, 15/12/2006) — Matteo Casadei
OWL-S for Describing Artifacts (EUMAS 2006, 14/12/2006) — Ambra Molesini
Introduction to Maude rewriting language (Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena), 23/11/2006) — Matteo Casadei
Agents & Artifacts: The A&A Meta-model for MAS Modelling & Engineering. Ideas & Examples (DistriNet Workshop 2006, 17/11/2006) — Andrea Omicini
Tuple-based Coordination: An Introduction (Invited seminar, DISMI, Università di Modena e Reggio Emilia, 13/11/2006) — Andrea Omicini
A&A for Modelling and Engineering Simulations in Systems Biology: A First Framework based on TuCSoN (MA4CS'06 @ ECCS'06, 29/09/2006) — Sara Montagna
Collective Sorting Tuple Spaces (WOA 2006, 27/09/2006) — Matteo Casadei
Simulation of Minority Game in TuCSoN (WOA 2006, 27/09/2006) — Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006, 27/09/2006) — Andrea Omicini
simpA-WS: una tecnologia ad agenti per lo sviluppo di applicazioni SOA basate su Web Services (WOA 2006, 26/09/2006) — Alessandro Ricci
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (AICA 2006, 22/09/2006) — Matteo Casadei
Software Engineering Methodologies: The Agent Approach (AICA 2006, 22/09/2006) — Ambra Molesini
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Matteo Casadei
Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Andrea Omicini
The World According To Brahms: Modeling and Simulating Work Practice (Dagstuhl Seminar 06261, 29/06/2006) — Maarten Sierhuis
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (AAMAS 2006, 29/06/2006) — Sebastian Sardina
Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006, 16/06/2006) — Andrea Omicini
Simulating Minority Game with TuCSoN (MAS&S'06 @ ISC'06, 05/06/2006) — Andrea Omicini
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (MAS&S'06 @ ISC'06, 05/06/2006) — Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006, 08/05/2006) — Alessandro Ricci
Linkable Coordination Artifacts for Inter-Organisational Workflow (CIOW 2006 @ AAMAS 2006, 08/05/2006) — Alessandro Ricci
La coordinazione di agenti software (CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell’Informatica, Scuola di Dottorato in Scienze Giuridiche, 23/04/2006) — Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005, 15/11/2005) — Andrea Omicini
Artefacts and Workspaces for the Engineering of Multiagent Systems (SIKS-day 2005, 11/11/2005) — Andrea Omicini
SODA: A Roadmap to Artefacts (ESAW 2005, 28/10/2005) — Ambra Molesini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AI*IA 2005, 23/09/2005) — Andrea Omicini
1956-2006: Towards the 50th Anniversary of AI Birth (AI*IA 2005, 22/09/2005) — Andrea Omicini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005, 17/09/2005) — Ambra Molesini
Artefacts in Agent-Oriented Software Engineering (AL3-TF3, 16/09/2005) — Ambra Molesini
Spaces for Programming Languages in MASs: A Perspective on Coordination, Organisation & Security (AL3-TF3, 15/09/2005) — Andrea Omicini
Web Services Choreography and Choreography Description Language WS-CDL (Università di Bologna, II Faculty of Engineering, Cesena , 01/09/2005) — Enrico Oliva
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (MASS 2005, 29/08/2005) — John Zinky
A Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05, 27/08/2005) — Enrico Oliva
Zooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005, 26/07/2005) — Ambra Molesini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AAMAS 2005, 27/05/2005) — Andrea Omicini
Field-based Coordination (Course on “Complex Adaptive Systems", 29/04/2005) — Franco Zambonelli, Marco Mamei
Agens Faber: Toward A Theory of Artifacts for MAS (CoOrg 2005 @ COORDINATION 2005, 23/04/2005) — Andrea Omicini
Trends & Experiences in MAS Infrastructures (Department of Computer Science, University of Leuven, Belgium, 22/04/2005) — Andrea Omicini
Time-Aware Coordination in ReSpecT (COORDINATION 2005, 20/04/2005) — Andrea Omicini
Tuple-based Coordination: An Introduction (Invited seminar, DISMI, Università di Modena e Reggio Emilia, 10/02/2005) — Andrea Omicini
A Conceptual Framework for Self-Organising MAS (EUMAS 2004, 16/12/2004) — Andrea Omicini
A Conceptual Framework for Self-Organising MAS (WOA 2004, 01/12/2004) — Andrea Omicini
Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004, 30/11/2004) — Andrea Omicini
Creatività tecnica come obbiettivo didattico ( KM-IA 2004, 18/11/2004) — Andrea Omicini
FIPA – The Foundation for Intelligent, Physical Agents (SMC 2004, 12/10/2004) — Dominic Greenwood
Coordination Artifacts: Environment-based Coordination for Autonomous Agents (AAMAS 2004, 21/07/2004) — Andrea Omicini
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (SASEMAS'04 @ AAMAS 2004, 20/07/2004) — Alessandro Ricci
Current Trends & Future Challenges in Programming MAS (PROMAS 2004 @ AAMAS 2004, 20/07/2004) — Andrea Omicini
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004, 19/07/2004) — Luca Tummolini
Trends & Experiences in MAS Infrastructures (Dipartimento di Informatica, Università degli Studi di Pisa, Italy, 15/07/2004) — Andrea Omicini
Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (EASSS 2004, 07/07/2004) — Andrea Omicini
Trends in MAS Infrastructures (LEA 2004, 30/06/2004) — Andrea Omicini
Towards Seamless Agent Middleware (TAPOCS 2004 @ WET ICE 2004, 16/06/2004) — Giovanni Rimassa
Sistemi ad agenti intelligenti (CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica. Università di Bologna, Italy, 11/05/2004) — Andrea Omicini
Agent Coordination Context: From Theory to Practice (AT2AI-4 @ EMCSR 2004, 13/04/2004) — Alessandro Ricci
Integrating Objective & Subjective Coordination in Multi-Agent Systems (CM 2004 @ SAC 2004, 17/03/2004) — Andrea Omicini
Towards Seamless Agent Middleware (EUMAS 2003, 19/12/2003) — Andrea Omicini
Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (EUMAS 2003, 19/12/2003) — Andrea Omicini
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini
Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003, 18/12/2003) — Andrea Omicini
Integrating Organisation within a MAS Coordination Infrastructure (ESAW 2003, 29/10/2003) — Andrea Omicini
Objective Coordination for FIPA Agents (WOA 2003, 10/09/2003) — Andrea Omicini
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (FOCLASA 2003 @ CONCUR'03, 02/09/2003) — Mirko Viroli
Task-Oriented Engineering of Coordinated Software Systems (ISPE CE 2003, 26/07/2003) — Enrico Denti
Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (AAMAS 2003, 14/07/2003) — Andrea Omicini, Alessandro Ricci
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03, 28/06/2003) — Mirko Viroli
Introduzione a UML (SIPEAA Meeting, 27/06/2003) — Andrea Omicini
Framing Coordination: Early Notes (AL2M4, 03/02/2003) — Andrea Omicini
Declarative Technologies for Internet and Agent Systems (Giornata GULP 2002, 25/10/2002) — Andrea Omicini
Agents and Automatic Web Services (AICA 2002, 26/09/2002) — Andrea Omicini
Have ReSpecT for LogOp (WOA 2002, 19/09/2002) — Andrea Omicini
Activity Theory as a Framework for MAS Coordination (ESAW 2002, 17/09/2002) — Andrea Omicini
Agent Technologies for Knowledge Management ( KM-IA 2002 @ AI*IA 2002, 11/09/2002) — Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation (FOCLASA 2002 @ CONCUR'02, 24/08/2002) — Mirko Viroli
Social Issues in the Construction of Agent Systems (NETTAB 2002, 14/07/2002) — Andrea Omicini
Imprese e ICT: problematiche e opportunità (Dall'E-Presence all'E-Business, 03/07/2002) — Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (PDPTA'02, 27/06/2002) — Mirko Viroli
On the Expressiveness of Event-Based Coordination Media (PDPTA'02, 27/06/2002) — Mirko Viroli
A Specification Language for Agents Observable Behaviour (IC-AI'02, 26/06/2002) — Mirko Viroli
On the Notion of Agent Coordination Context (IPCUC 2001, 14/12/2001) — Alessandro Ricci
Context and C3 (Communication, Coordination and Cooperation) (AL2M3, 05/12/2001) — Andrea Omicini
On the Notion of Agent Coordination Context: Preliminary Notes (WOA 2001, 05/09/2001) — Andrea Omicini
Objective versus Subjective Coordination in the Engineering of Agent Systems (AL2M2, 09/07/2001) — Andrea Omicini, Sascha Ossowski
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001, 22/06/2001) — Enrico Denti
Engineering Internet Agents Applications via Coordination (Agents 2001, 28/05/2001) — Andrea Omicini, Franco Zambonelli
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001 @ SAC 2001, 14/03/2001) — Mirko Viroli
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini
Coordination Services for Agent Infrastructures (AL2M1, 22/02/2001) — Andrea Omicini
Coordination Technologies for Internet Agents (SAINT 2001, 08/01/2001) — Franco Zambonelli, Andrea Omicini
Sistemi ad agenti intelligenti (20/12/2000) — Andrea Omicini
Formal ReSpecT (AGP 2000, 05/12/2000) — Andrea Omicini
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000, 21/10/2000) — Andrea Omicini
Hybrid Coordination Models for Handling Information Exchange among Internet Agents (MAS-RCRA @ AI*IA 2000, 13/09/2000) — Andrea Omicini
Coordination Technologies for Internet Agents (ASA/MA 2000, 13/09/2000) — Franco Zambonelli, Andrea Omicini
The LuCe Coordination Technology for MAS Design and Development on the Internet (COORDINATION 2000, 11/09/2000) — Andrea Omicini
Towards Robust Distributed Systems (PODC 2000, 19/07/2000) — Eric A. Brewer
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000, 16/06/2000) — Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000, 10/06/2000) — Andrea Omicini
Coordination Technologies for Internet Agents (Agents 2000, 03/06/2000) — Franco Zambonelli, Andrea Omicini
Ruling Agent Motion in Structured Environments (HPCN Europe 2000, 08/05/2000) — Marco Cremonini
Engineering Multi-Agent Systems in LuCe (MAS @ ICLP'99, 30/11/1999) — Andrea Omicini
Coordination Technologies for Internet Agents (ASA/MA'99, 03/10/1999) — Franco Zambonelli, Andrea Omicini, Paolo Ciancarini
The Explorable Topology: Supporting Agent Autonomy on the Internet (WSDAAL'99, 15/09/1999) — Marco Cremonini
Development of Web-based Multi-Agent Systems in LuCe (AI*IA99, 14/09/1999) — Enrico Denti
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (MAAMAW'99, 01/07/1999) — Andrea Omicini
Coordinazione: Ingegneria dell'interazione (LIA, DEIS, Università di Bologna, 19/05/1999) — Andrea Omicini
Adopting an Object-Oriented Data Model in Inductive Logic Programming (FLAIRS 1999, 05/05/1999) — Michela Milano
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999, 02/03/1999) — Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999, 02/03/1999) — Andrea Omicini
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999, 02/03/1999) — Marco Cremonini
Coordinazione: Ingegneria dell'interazione (Corso di Ingegneria del Software, 03/06/1998) — Andrea Omicini
Embedding Intelligence into Coordination: The ACLT Model (IRST Doctorate School, 15/01/1998) — Andrea Omicini
Beyond Computation: Coordination — Managing the Complexity of Interaction (IRST Doctorate School, 15/01/1998) — Andrea Omicini
Programmable Coordination Media (COORDINATION 1997, 01/09/1997) — Andrea Omicini
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (LPNET'97 @ ICLP'97, 11/07/1997) — Enrico Denti
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97, 17/01/1997) — Enrico Denti
Coordination: Constraining the Space of Interaction (Department of Computer Science, 08/12/1996) — Andrea Omicini
Integrating Knowledge Acquisition in Plan Selection (AI*IA'96, 28/09/1996) — Andrea Omicini
An Object-Oriented Approach to Planning (FAPR'96 Workshop, 04/06/1996) — Andrea Omicini
An Extensible Framework for the Development of Coordinated Applications (COORDINATION'96, 15/04/1996) — Enrico Denti
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (FroCoS 1996, 28/03/1996) — Andrea Omicini
Programmazione logica a vincoli (Corso di Intelligenza Artificiale, 24/01/1996) — Andrea Omicini
Models and Paradigms of Interaction (OOPSLA'95, 15/10/1995) — Peter Wegner
Agent Coordination and Control through Logic Theories (AI*IA'95, 11/10/1995) — Enrico Denti
Object-Oriented Computations in Logic Programming (ECOOP 1994, 07/06/1994) — Andrea Omicini
A Structured Logic Programming Approach to Robot Programming (PAP'94, 29/04/1994) — Antonio Natali
Objects with State in Contextual Logic Programming (PLILP’93, 26/08/1993) — Andrea Omicini
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93, 25/06/1993) — Andrea Omicini
Exploiting Logic Programming in Robot Applications (GULP 1993, 18/06/1993) — Andrea Omicini
Il prototipo APPEAL (Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, Sottoprogetto SP4: Linguaggi di nuova concezione – Project Meeting, 13/06/1993) — Andrea Omicini, Antonio Natali
Objects with State in CSM (CompuLog 2 Meeting / WLL'93, 06/05/1993) — Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992, 18/06/1992) — Andrea Omicini
Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini
Programmazione logica strutturata: analisi di una implementazione prototipale (CNR Roma, 31/05/1991) — Andrea Omicini