Per Sort

255 talks

talks

Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI 2023, 04/10/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
Explainable Clustering with CREAM (KR 2023, 07/09/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
Symbolic Transfer Learning through Knowledge Manipulation Methods (KR 2023, 05/09/2023) — Matteo Magnini (Matteo Magnini)
Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (KoDis 2023@KR 2023, 03/09/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023@KR 2023, 03/09/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
XAI: Current Frontiers and the Path Ahead Towards Trustworthy AI (XLoKR 2023 - Explainable Logic-Based Knowledge Representation KR 2023, 02/09/2023) — Roberta Calegari (Roberta Calegari)
Assessing and Enforcing Fairness in the AI Lifecycle (Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023), 23/08/2023) — Roberta Calegari (Roberta Calegari, Gabriel Gonzalez Castane, Michela Milano, Barry O'Sullivan)
GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023, 05/07/2023) — Andrea Agiollo, Enkeleda Bardhi (Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini)
A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023@AAMAS 2023, 29/05/2023) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini, Berk Buzcu, Reyhan Aydoğan, Andrea Omicini)
Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023@AAMAS 2023, 29/05/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari)
The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (EXTRAAMAS 2023@AAMAS 2023, 29/05/2023) — Andrea Agiollo (Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini)
On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (AAAI Spring Symposium 2023 – AITA: AI Trustworthiness Assessment, 27/03/2023) — Roberta Calegari (Federico Sabbatini, Roberta Calegari)
On the role of abductive reasoning in semantic image segmentation (AIxIA 2022, 02/12/2022) — Andrea Rafanelli (Andrea Rafanelli, Stefania Costantini, Andrea Omicini)
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022, 29/11/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
Tackling Bias and Unfairness in AI (Responsible AI Conference 2022 (R.AI 2022), 11/10/2022) — Roberta Calegari (Roberta Calegari)
Arguing about the existence of conflicts (COMMA 2022, 16/09/2022) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Giovanni Sartor, Henry Prakken)
Computational argumentation and symbolic reasoning for explainable (1st International Workshop on Argumentation for eXplainable AI (ArgXAI), 12/09/2022) — Roberta Calegari (Roberta Calegari)
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022, 01/09/2022) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022, 01/09/2022) — Andrea Rafanelli (Andrea Agiollo, Andrea Rafanelli, Andrea Omicini)
A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022, 01/09/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022, 04/08/2022) — Roberta Calegari (Federico Sabbatini, Roberta Calegari)
GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022, 02/08/2022) — Andrea Agiollo (Andrea Agiollo, Andrea Omicini)
Logic Programming library for Machine Learning: API design and prototype (CILC 2022, 01/08/2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Castiglio, Roberta Calegari)
Clustering-Based Approaches for Symbolic Knowledge Extraction (KR 2022 – ML Session@KR 2022, 31/07/2022) — Roberta Calegari (Federico Sabbatini, Roberta Calegari)
Grounding Trustworthy AI: from high-level principles to technical requirements (IJCAI-ECAI 22, 25/07/2022) — Roberta Calegari (Roberta Calegari, Michela Milano, Catelijne Muller)
KINS: Knowledge Injection via Network Structuring (CILC 2022, 01/07/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
Overcoming human bias – Sex and gender in research on artificial intelligence (European Research Area (ERA) Workshop, 24/05/2022) — Roberta Calegari (Roberta Calegari)
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022@AAMAS 2022, 09/05/2022) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini)
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022@AAMAS 2022, 09/05/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini)
Explaining conflicts of norms in criminal matters: an argumentation approach (AICOL 2021, 08/12/2021) — Marco BIlli (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
Probabilistic logic programming in 2P-Kt (AIxIA 2021, 01/12/2021) — Giovanni Ciatto (Jason Dellaluce, Roberta Calegari, Giovanni Ciatto)
Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021, 29/11/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
Embedding Artificial Intelligence into Constrained Devices (PhD 1st-year report, 20/10/2021) — Andrea Agiollo (Andrea Agiollo)
Explainability through argumentation in logic programming (CAUSAL 2021, 20/09/2021) — Marco Billi, Giuseppe Pisano (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
Towards cooperative argumentation for MAS: an Actor-based approach (WOA 2021, 03/09/2021) — Roberta Calegari (Giuseppe Pisano, Roberta Calegari, Andrea Omicini)
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap (WOA 2021, 02/09/2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021, 01/09/2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
The Burden of Persuasion in Structured Argumentation (International Conference on Artificial Intelligence and Law 2021, 23/06/2021) — Giovanni Sartor (Roberta Calegari, Régis Riveret, Giovanni Sartor)
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021, 07/05/2021) — Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini)
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021@AAMAS 2021, 03/05/2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini)
Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021@AAMAS 2021, 03/05/2021) — Amro Najjar (Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi)
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021@AAMAS 2021, 03/05/2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)
Teaching the Old AI Dog New Symbolic Tricks (ALMA AI Foundations of AI – Kick-Off Workshop, 27/04/2021) — Andrea Omicini (Andrea Omicini)
Machine Learning: Classification and Regression (From the Software Engineer Perspective) (Spritenario, 12/03/2021) — Giovanni Ciatto (Giovanni Ciatto)
Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
A Model for the Burden of Persuasion in Argumentation (JURIX 2020, 10/12/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020, 27/11/2020) — Andrea Omicini (Andrea Omicini)
Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020, 25/11/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
Arg-tuProlog: a tuProlog-based argumentation framework (CILC 2020, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
Burden of Persuasion in Argumentation (ICLP 2020, 20/09/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020, 15/09/2020) — Giuseppe Pisano (Giovanni Ciatto, Giuseppe Pisano, Roberta Calegari, Andrea Omicini)
Computable Law as Argumentation-based MAS (WOA 2020, 14/09/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020, 09/05/2020) — Giovanni Ciatto (Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini)
Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020@AAMAS 2020, 09/05/2020) — Davide Calvaresi (Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi)
Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019, 12/12/2019) — Giovanni Sartor (Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor)
Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019@AIIA 2019, 22/11/2019) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi)
Real-Time Multi-Agent Systems: challenges, model, and performance analysis (06/11/2019) — Davide Calvaresi (Davide Calvaresi)
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019, 11/10/2019) — Roberta Calegari (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari)
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019, 10/10/2019) — Stefano Mariani (Stefano Mariani)
TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019, 01/08/2019) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Lorenzo Rizzato, Stefano Mariani)
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019, 28/06/2019) — Roberta Calegari (Andrea Omicini, Giovanni Ciatto, Jason Dellaluce, Roberta Calegari)
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19, 27/06/2019) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19, 27/06/2019) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019@PAAMS'19, 26/06/2019) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Michael Bosello, Stefano Mariani)
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (CBMS 2019 @ Cordoba, Spain, 07/06/2019) — Stefano Mariani (Stefano Mariani)
Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum (BCT4MAS 2018@WI 2018, 03/12/2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018, 28/11/2018) — Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani)
From the Blockchain to Logic Programming and back: Research perspectives (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
Coordination of Complex Socio-technical Systems: Challenges and Opportunities (FOCLASA 2018, 26/06/2018) — Stefano Mariani (Stefano Mariani)
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018, 18/06/2018) — Stefano Mariani (Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel)
Introduzione alla Blockchain – Bitcoin, criptovalute e altre applicazioni (Open Your Mind, 15/11/2017) — Giovanni Ciatto (Giovanni Ciatto)
Democratic process and electronic platforms: concerns of an engineer (Workshop The Future of Democracy, 03/11/2017) — Danilo Pianini (Danilo Pianini)
Programming the Interaction Space Effectively with ReSpecTX (Symposium on Intelligent Distributed Computing, 12/10/2017) — Stefano Mariani (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Towards Argumentation-based Recommendations for Personalised Patient Empowerment (2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), 31/08/2017) — Stefano Mariani (Stefano Mariani)
Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17, 23/06/2017) — Enrico Denti (Enrico Denti, Roberta Calegari)
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017, 16/06/2017) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017, 16/05/2017) — Andrea Omicini (Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini)
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016, 11/10/2016) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani)
Towards a Foundational API for Resilient Distributed Systems Design (2nd eCAS Workshop on Engineering Collective Adaptive Systems, 18/09/2016) — Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli)
Simulating Large-scale Aggregate MASs with Alchemist and Scala (10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16), 14/09/2016) — Danilo Pianini (Roberto Casadei, Danilo Pianini, Mirko Viroli)
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016, 14/09/2016) — Enrico Denti (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)
Game Engines to Model MAS: A Research Roadmap (WOA 2016, 30/07/2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
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 (Andrea Omicini, Francesco Degli Angeli, Michele Donati, Sara Montagna)
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016, 30/07/2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016, 29/07/2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
Labelled Variables in Logic Programming: Foundations (CILC 2016, 20/06/2016) — Roberta Calegari (Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini)
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015, 24/09/2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015, 18/06/2015) — Franco Zambonelli (Andrea Omicini, Franco Zambonelli)
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015, 03/06/2015) — Stefano Mariani (Andrea Omicini, Giancarlo Fortino, Stefano Mariani)
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 (Andrea Omicini, Danilo Pianini, Sara Montagna)
Protelis: Practical Aggregate Programming (CM 2015@SAC 2015, 16/04/2015) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
Engineering Complex Computational Ecosystems (PhD Defense, 14/04/2015) — Danilo Pianini (Danilo Pianini)
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015, 10/01/2015) — Roberta Calegari (Enrico Denti, Roberta Calegari)
Stochastic Coordination in CAS: Expressiveness & Predictability (CAS@Dagstuhl 2014, 15/12/2014) — Stefano Mariani (Stefano Mariani, Andrea Omicini)
Extending a Smart Home multi-agent system with Role-Based Access Control (ITS 2014, 11/12/2014) — Marco Prandini (Enrico Denti, Marco Prandini, Roberta Calegari)
Coordination-aware Elasticity (UCC 2014, 11/12/2014) — Hong-Linh Truong (Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar)
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (DISI - OSIMAS meeting, 13/11/2014) — Stefano Mariani (Stefano Mariani)
TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014, 26/09/2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014, 23/09/2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (FoCAS 2014, 08/09/2014) — Stefano Mariani (Stefano Mariani)
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014, 03/09/2014) — Stefano Mariani (Andrea Omicini, Luca Sangiorgi, Stefano Mariani)
Agent-based and Chemical-inspired Approaches for Multicellular Models (Meeting CINI Laboratorio InfoLife, 11/07/2014) — Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (C-SmartCPS 2013@ICA3PP-2013, 20/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013, 02/12/2013) — Stefano Mariani (Stefano Mariani)
Space-aware Coordination in ReSpecT (WOA 2013, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani)
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (JAWS 2013@MATES 2013, 17/09/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
A core calculus of computational fields (11/09/2013) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
SAPERE Analysis tools (M32 SAPERE Consortium Meeting, 18/06/2013) — Danilo Pianini (Danilo Pianini)
Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013, 04/06/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli (Mirko Viroli)
Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective (COORDINATION 2013, 03/06/2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci)
From Engineer to Alchemist, There and Back Again: An Alchemist Tale (24/05/2013) — Danilo Pianini (Danilo Pianini)
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (LSA Course 2012/2013, 17/05/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013, 07/05/2013) — Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli)
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013@AAMAS 2013, 06/05/2013) — Stefano Mariani (Stefano Mariani, Andrea Omicini)
Composing gradients for a context-aware navigation of users in a smart-city (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna)
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013, 03/04/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
WP1 tools: current status and ongoing work (SAPERE General Meeting, 20/02/2013) — Danilo Pianini (Danilo Pianini)
Glocality: emergent behaviours (CINA kickoff meeting, 06/02/2013) — Mirko Viroli (Mirko Viroli)
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (21/10/2012) — Andrea Santi (Andrea Santi)
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012, 25/09/2012) — Stefano Mariani (Andrea Omicini, Stefano Mariani)
An Eclipse-based IDE for Agent-Oriented Programming in simpAL (21/09/2012) — Andrea Santi (Andrea Santi)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012, 19/09/2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012, 19/09/2012) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)
Programming Distributed Multi-Agent Systems in simpAL (18/09/2012) — Andrea Santi (Andrea Santi)
Gradient-based Self-organisation Patterns of Anticipative Adaptation (6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012, 10/09/2012) — Andrea Omicini (Andrea Omicini, Marco Alberti)
Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012@SASO 2012, 10/09/2012) — Stefano Mariani (Stefano Mariani, Andrea Omicini)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)
SAPERE Methodology Alpha Version (SAPERE Meeting @ SASO 2012, Lyon, France, 10/09/2012) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
WP1 @ M21. Progresses and Plan (General SAPERE Meeting, 11/06/2012) — Mirko Viroli (Mirko Viroli)
Typing Multi-Agent Programs in simpAL (05/06/2012) — Andrea Santi (Andrea Santi)
Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure (ITMAS 2012, 05/06/2012) — Olivier Boissier (Alexandru Sorici, Gauthier Picard, Olivier Boissier, Andrea Santi, Jomi F. Hübner)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012, 28/03/2012) — Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012) — Mirko Viroli (Mirko Viroli)
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (24/10/2011) — Andrea Santi (Andrea Santi)
Exploiting the JaCaMo framework for realising an adaptive room governance application (24/10/2011) — Andrea Santi (Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi)
JaCa-Android: an agent-based platform for building smart mobile applications (24/10/2011) — Andrea Santi (Andrea Santi)
Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development (26/09/2011) — Andrea Santi (Andrea Santi)
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (6th Workshop of the Italian Eclipse Community (Eclipse-IT 2011), 23/09/2011) — Andrea Santi (Andrea Santi, Antonio Natali)
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
A Simulation Framework for Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011, 05/07/2011) — Andrea Omicini (Ambra Molesini, Andrea Omicini, Enrico Denti)
An application of the WP1 computational model to a real scenario (SAPERE M9 Meeting, University of St. Andrews, UK, 23/06/2011) — Sara Montagna (Sara Montagna)
Multi-level Approaches for a Deep Analysis of Morphogenesis in Living Systems (Corso di Biologia Molecolare della Cellula, 08/11/2010) — Sara Montagna (Sara Montagna)
Self Organization in Coordination Systems using a WordNet-based Ontology (30/09/2010) — Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010, 07/09/2010) — Ambra Molesini (Ambra Molesini, Andrea Omicini)
A Self-Organising Infrastructure for Chemical-Semantic Coordination (WOA 2010, 07/09/2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010, 06/09/2010) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Sara Montagna)
Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010, 06/09/2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci)
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (01/09/2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci)
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (01/09/2010) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci)
Developing Web Client Applications with JaCa-Web (01/09/2010) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci)
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (25/08/2010) — Andrea Santi (Andrea Santi)
A Framework for Modelling and Simulating Networks of Cells (CS2Bio 2010, 10/06/2010) — Sara Montagna (Sara Montagna)
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (PROMAS 2010, 11/05/2010) — Andrea Santi (Andrea Santi, Michele Piunti)
Towards model-driven communications (International Conference on Software Engineering and Technologies (ICSET 2010), 29/04/2010) — Ambra Molesini (Antonio Natali, Ambra Molesini)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 2010, 26/03/2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Chemical-Inspired Self-Composition of Competing Services (SAC 2010, 26/03/2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010@SAC 2010, 25/03/2010) — Ambra Molesini (Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini)
Risk Analysis and Deployment Security Issues in a Multi-Agent System (2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22/01/2010) — Ambra Molesini (Ambra Molesini, Elena Nardini, Marco Prandini, Enrico Denti)
Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS (14/10/2009) — Andrea Santi (Andrea Santi)
Towards a framework for multi-level modelling in Computational Biology (PhD Second Year Ending Seminar, 14/10/2009) — Sara Montagna (Sara Montagna)
An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks (APICe meeting, 22/09/2009) — Önder Gürcan (Önder Gürcan)
Embodying Organisations in Multi-Agent Work Environments (2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2009), Milano, Italy, 17/09/2009) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner)
Embodied Organisations in MAS Environments (11/09/2009) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner)
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (09/09/2009) — Andrea Santi (Alessandro Ricci, Andrea Santi, Michele Piunti)
Exploiting Agent Observability in Multi-Agent System Programming (German Conference on Multi-Agent Systems (MATES 2009), 09/09/2009) — Michele Piunti (Alessandro Ricci, Michele Piunti)
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009, 10/07/2009) — Andrea Santi (Andrea Santi, Michele Piunti)
A Computational Framework for Multilevel Morphologies (Morphogenetic Engineering Workshop, 19/06/2009) — Sara Montagna (Sara Montagna, Mirko Viroli)
Environment Programming in MAS with CArtAgO (aliCE Workshop on "Programming multi-agent systems: agents, environment, organisations", 10/06/2009) — Alessandro Ricci (Alessandro Ricci, Michele Piunti)
A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (Congress on Evolutionary Computation (CEC 2009), 21/05/2009) — Mirko Viroli (Sara Montagna, Mirko Viroli)
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei)
Introducing Relevance Awareness in BDI Agents (Programming Multi Agent Systems (PROMAS 2009), in the context of AAMAS 2009, 12/05/2009) — Michele Piunti (Michele Piunti)
Self-Organising Coordination Systems (PhD Final Dissertation, 08/04/2009) — Matteo Casadei (Matteo Casadei)
A Framework for Modelling and Implementing Self-Organising Coordination (2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
Situated Tuple Centres in ReSpecT (SAC 2009, 10/03/2009) — Andrea Omicini (Matteo Casadei, Andrea Omicini)
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009@SAC 2009, 09/03/2009) — Andrea Omicini (Ambra Molesini, Andrea Omicini)
An Agent-based Application for Home Intelligence (International Conference on Agents and Artificial Intelligence (ICAART 2009), 20/01/2009) — Andrea Omicini (Andrea Omicini, Ambra Molesini)
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 (Andrea Omicini, Michele Piunti, Mirko Viroli)
From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS (Sixth European Workshop on Multi-Agent Systems (EUMAS-2008), 18/12/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti)
SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures (AOSE TFG - Bath, UK, 17/12/2008) — Ambra Molesini (Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini)
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (IEEE/WIC/ACM Conference on Web Intelligence and Intelligent Agent Technologies WI-IAT 2008 (Sydney), 11/12/2008) — Michele Piunti (Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr)
Model-driven Generation of Graphical Maps for e-Contents (3rd Italian Workshop on Eclipse Technologies, 18/11/2008) — Enrico Oliva (Antonio Natali, Enrico Oliva, Cristina Bonanni)
From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS (WOA 2008, 18/11/2008) — Andrea Omicini (Alessandro Ricci, Michele Piunti)
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008 , 17/11/2008) — Ambra Molesini (Andrea Omicini, Ambra Molesini)
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008, 17/11/2008) — Fabiano Dalpiaz (Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita)
Arguments and Artifacts for Dispute Resolution (WOA 2008, 17/11/2008) — Andrea Omicini (Enrico Oliva, Andrea Omicini)
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 (Alessandro Ricci, Michele Piunti)
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 26/09/2008) — Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri)
RBAC-MAS & SODA: Experimenting RBAC in AOSE (9th International Workshop “Engineering Societies in the Agents World” (ESAW 2008), 25/09/2008) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 17/09/2008) — Emiliano Lorini (Alessandro Ricci, Michele Piunti)
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (MAS&Bio'08, 11/09/2008) — Andrea Roli (Andrea Omicini, Sara Montagna)
A Framework for Collaborative-Learning Systems Based on Agent Technologies (The 2008 International Conference on the Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education, 01/09/2008) — Elena Nardini (Elena Nardini, Andrea Omicini)
Environment Programming in MAS: CARTAGO and Friends (Dagstuhl Seminar 08361, "Programming Multi-Agent Systems", 04/08/2008) — Alessandro Ricci (Alessandro Ricci, Michele Piunti)
Experiment with Stochastic Prolog as Simulation Language (23° Convegno Italiano di Logica Computazionale (CILC), 10/07/2008) — Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008@WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008@WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Andrea Omicini)
Argumentation and Artifact for Dialogue Support (5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12/05/2008) — Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney)
SPEM on Test: The SODA Case Study (23th ACM Symposium on Applied Computing (SAC 2008), Special Track on Software Engineering, 19/03/2008) — Andrea Omicini (Elena Nardini, Andrea Omicini)
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (23th ACM Symposium on Applied Computing (SAC 2008), Special Track on Programming Languages, 18/03/2008) — Andrea Omicini (Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci)
Toward a Framework for Collaborative Learning Based on Agent-based Technologies (International Technology, Education and Development Conference (INTED 2008), 03/03/2008) — Elena Nardini (Elena Nardini, Andrea Omicini, Maria Cristina Matteucci)
On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions (Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 19/02/2008) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)
SPEM on test: the SODA case study (AgentLink Technical Forum V / 5th European Workshop on Multi-Agent Systems (EUMAS 2007). Hammamet, Tunisia, 07/12/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (8th International Workshop 'Engineering Societies in the Agents World' (ESAW 2007), 24/10/2007) — Andrea Omicini (Andrea Omicini, Ambra Molesini)
Using Eclipse in Building Model-driven e-Learning Supports (2rd Italian Workshop on Eclipse Technologies, 05/10/2007) — Enrico Oliva (Enrico Oliva, Antonio Natali)
On the Interplay of Crosscutting and MAS-Specific Styles (First European Conference on Software Architecture (ECSA 2007), 25/09/2007) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
On the Problem of Over-clustering in Tuple-based Coordination Systems (First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006, 15/12/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
OWL-S for Describing Artifacts (EUMAS 2006, 14/12/2006) — Ambra Molesini (Rossella Rubino, Ambra Molesini, Enrico Denti)
Collective Sorting Tuple Spaces (WOA 2006, 27/09/2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
Software Engineering Methodologies: The Agent Approach (AICA 2006, 22/09/2006) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (AICA 2006, 22/09/2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
Formal ReSpecT in the A&A Perspective (5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), 31/08/2006) — Andrea Omicini (Andrea Omicini)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006, 16/06/2006) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Nicola Zaghini)
SODA: A Roadmap to Artefacts (6th International Workshop on Engineering Societies in the Agent World (ESAW 2005), 28/10/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005, 17/09/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
Artefacts in Agent-Oriented Software Engineering (Agent Link III - TFG3 AOSE - Budapest, Hungary , 16/09/2005) — Ambra Molesini (Ambra Molesini)
A Framework for Engineering Interactions in Java-based Component Systems (4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA, 28/08/2005) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)
Zooming Multi-Agent Systems (6th International Workshop on Agent-Oriented Software Engineering ([AOSE 2005|http://www.agentgroup.unimo.it/aose05/]), 26/07/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
A Conceptual Framework for Self-Organising MAS (2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain, 16/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004, 21/07/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
Towards Seamless Agent Middleware (TAPOCS 2004@WET ICE 2004, 16/06/2004) — Giovanni Rimassa (Andrea Omicini, Giovanni Rimassa)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Towards Seamless Agent Middleware (EUMAS 2003, 19/12/2003) — Andrea Omicini (Andrea Omicini, Giovanni Rimassa)
Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (EUMAS 2003, 19/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003, 18/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Sascha Ossowski)
Objective Coordination for FIPA Agents (WOA 2003, 10/09/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
Declarative Technologies for Internet and Agent Systems (Giornata GULP 2002, Bologna, Italy, 25/10/2002) — Andrea Omicini (Andrea Omicini)
On the Notion of Agent Coordination Context: Preliminary Notes (Workshop AI*IA/TABOO “Dagli oggetti agli agenti: tendenze evolutive dei sistemi software” (W0A 2001), Modena, Italia, 05/09/2001) — Andrea Omicini (Andrea Omicini)
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001, 22/06/2001) — Enrico Denti (Alessandro Ricci, Andrea Omicini, Enrico Denti)
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001, 14/03/2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini (Enrico Denti, Andrea Omicini, Alessandro Ricci)
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000, 16/06/2000) — Enrico Denti (Enrico Denti, Andrea Omicini)
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999, 02/03/1999) — Andrea Omicini (Andrea Omicini)
Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999@SAC 1999, 02/03/1999) — Andrea Omicini (Andrea Omicini, Franco Zambonelli)
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999@SAC 1999, 02/03/1999) — Marco Cremonini (Marco Cremonini, Andrea Omicini, Franco Zambonelli)
Programmable Coordination Media (COORDINATION 1997, 01/09/1997) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini)
Agent Coordination and Control through Logic Theories (AI*IA'95, 11/10/1995) — Enrico Denti (Andrea Omicini, Enrico Denti, Antonio Natali)
Object-Oriented Computations in Logic Programming (ECOOP 1994, 07/06/1994) — Andrea Omicini (Andrea Omicini, Antonio Natali)
Exploiting Logic Programming in Robot Applications (GULP 1993, 18/06/1993) — Andrea Omicini (Antonio Natali, Andrea Omicini, Francesco Zanichelli)
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992, 18/06/1992) — Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti)
Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)

255 talks • top • index • bottom