Talks

Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Giovanni Sartor, Giuseppe Contissa, Galileo Sartor)
Modular logic argumentation in Arg-tuProlog
(talk) AIxIA 2021, 01/12/2021
Giovanni Ciatto (Jason Dellaluce, Roberta Calegari, Giovanni Ciatto)
Probabilistic logic programming in 2P-Kt
(talk) 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 01/12/2021
Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
Burden of persuasion in argumentation: A meta-argumentation approach
(talk) AI^3 Workshop, 29/11/2021
Andrea Agiollo (Andrea Agiollo)
Embedding Artificial Intelligence into Constrained Devices
(talk) PhD 1st-year report, 20/10/2021
Giuseppe Pisano, Marco Billi (Roberta Calegari, Giuseppe Pisano, Giovanni Sartor, Marco Billi, Giuseppe Contissa, Galileo Sartor)
Explainability through argumentation in logic programming
(talk) CAUSAL 2021, 20/09/2021
Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
A Mechanism for Reasoning over Defeasible Preferences in Arg2P
(talk) CILC 2021, 07/09/2021
Roberta Calegari (Giuseppe Pisano, Roberta Calegari, Andrea Omicini)
Towards cooperative argumentation for MAS: an Actor-based approach
(talk) WOA 2021, 03/09/2021
Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap
(talk) WOA 2021, 02/09/2021
Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction
(talk) 22nd Workshop "From Objects to Agents" (WOA 2021), 01/09/2021
Giovanni Sartor (Roberta Calegari, Giovanni Sartor, Régis Riveret)
The Burden of Persuasion in Structured Argumentation
(talk) International Conference on Artificial Intelligence and Law 2021, 23/06/2021
Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
(talk) JELIA 2021, 17/05/2021
Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Viviana Mascardi)
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
(talk) JAAMAS Track @ AAMAS 2021, 07/05/2021
Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini)
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search
(talk) EXTRAAMAS 2021, 03/05/2021
Amro Najjar (Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi)
Towards Explainable Visionary Agents: License to Dare and Imagine
(talk) EXTRAAMAS @ AAMAS 2021, 03/05/2021
Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini)
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors
(talk) 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021), 03/05/2021
Andrea Omicini (Andrea Omicini)
Teaching the Old AI Dog New Symbolic Tricks
(talk) ALMA AI Foundations of AI – Kick-Off Workshop, 27/04/2021
Giovanni Ciatto (Giovanni Ciatto)
Machine Learning: Classification and Regression (From the Software Engineer Perspective)
(talk) Spritenario, 12/03/2021
Roberta Calegari (Giovanni Sartor, Roberta Calegari)
A Model for the Burden of Persuasion in Argumentation
(talk) JURIX 2020, 10/12/2020
Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Giuseppe Contissa, Galileo Sartor, Giovanni Sartor)
Arg-tuProlog: a modular logic argumentation tool for PIL
(talk) 10/12/2020
Andrea Omicini (Andrea Omicini)
Not just for humans: Explanation for agent-to-agent communication
(talk) AIxIA 2020 Discussion Paper Workshop, 27/11/2020
Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
Argumentation and Logic Programming for Explainable and Ethical AI
(talk) XAI.it 2020, 25/11/2020
Giuseppe Pisano (Andrea Omicini, Giuseppe Pisano, Roberta Calegari, Giovanni Sartor)
Arg-tuProlog: a tuProlog-based argumentation framework
(talk) 13/10/2020
Roberta Calegari (Giovanni Sartor, Roberta Calegari)
Burden of Persuasion in Argumentation
(talk) ICLP 2020, 20/09/2020
Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
2P-Kt: logic programming with objects & functions in Kotlin
(talk) WOA 2020, 16/09/2020
Giuseppe Pisano (Andrea Omicini, Giovanni Ciatto, Giuseppe Pisano, Roberta Calegari)
Neuro-symbolic Computation for XAI: Towards a Unified Model
(talk) WOA 2020, 15/09/2020
Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
Computable Law as Argumentation-based MAS
(talk) WOA 2020, 14/09/2020
Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher)
An Abstract Framework for Agent-Based Explanations in AI
(talk) AAMAS 2020, 09/05/2020
Davide Calvaresi (Andrea Omicini, Giovanni Ciatto, Michael I. Schumacher, Davide Calvaresi)
Agent-Based Explanations in AI: Towards an Abstract Framework
(talk) EXTRAAMAS 2020, 09/05/2020
Giovanni Sartor (Andrea Omicini, Giovanni Sartor, Roberta Calegari, Francesca Lagioia, Giuseppe Contissa)
Defeasible Systems in Legal Reasoning: A Comparative Assessment
(talk) 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), 12/12/2019
Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Roberta Calegari, Davide Calvaresi)
Towards XMAS: eXplainability through Multi-Agent Systems
(talk) Workshop "AI & IoT 2019", 22/11/2019
Davide Calvaresi (Davide Calvaresi)
Real-Time Multi-Agent Systems: challenges, model, and performance analysis
(talk) Aula 2.6, Nuovo Campus di Cesena, via dell’Università 50, 47521 Cesena, 06/11/2019
Roberta Calegari (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari)
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
(talk) IDCS 2019, 11/10/2019
Stefano Mariani (Stefano Mariani)
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept
(talk) IDCS 2019, 10/10/2019
Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Lorenzo Rizzato, Stefano Mariani)
TuSoW: Tuple Spaces for Edge Computing
(talk) 1st International Workshop on Edge of Things (EoT 2019) @ ICCCN 2019, 01/08/2019
Roberta Calegari (Andrea Omicini, Giovanni Ciatto, Jason Dellaluce, Roberta Calegari)
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
(talk) WOA 2019, 28/06/2019
Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
(talk) International Blockchain Congress 2019, 27/06/2019
Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
(talk) PAAMS 2019, 27/06/2019
Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Michael Bosello, Stefano Mariani)
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
(talk) BCT4MAS @ PAAMS 2019, 26/06/2019
Stefano Mariani (Stefano Mariani)
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
(talk) CBMS 2019 @ Cordoba, Spain, 07/06/2019
Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum
(talk) BCT4MAS 2018 – 1st International Workshop on Block Chain Technologies 4 Multi-Agent Systems , 03/12/2018
Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani)
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
(talk) GOODTECHS 2018 - 4th EAI International Conference on Smart Objects and Technologies for Social Good, 28/11/2018
Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
(talk) WOA 2018, 29/06/2018
Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
From the Blockchain to Logic Programming and back: Research perspectives
(talk) WOA 2018, 29/06/2018
Stefano Mariani (Stefano Mariani)
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
(talk) FOCLASA 2018, 26/06/2018
Stefano Mariani (Andrea Omicini, Giovanni Ciatto, Stefano Mariani, Franco Zambonelli, Maxime Louvel)
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
(talk) DisCoTec 2018, 18/06/2018
Andrea Omicini (Andrea Omicini)
Conversational Informatics: From Conversational Systems to Communication Intelligence
(talk) MBA Part-Time (Evening), 20/03/2018
Giovanni Ciatto (Giovanni Ciatto)
Introduzione alla Blockchain – Bitcoin, criptovalute e altre applicazioni
(talk) Open Your Mind, 15/11/2017
Danilo Pianini (Danilo Pianini)
Democratic process and electronic platforms: concerns of an engineer
(talk) Workshop The Future of Democracy, 03/11/2017
Stefano Mariani (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Programming the Interaction Space Effectively with ReSpecTX
(talk) Symposium on Intelligent Distributed Computing, 12/10/2017
Stefano Mariani (Stefano Mariani)
Towards Argumentation-based Recommendations for Personalised Patient Empowerment
(talk) 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), 31/08/2017
Enrico Denti (Enrico Denti, Roberta Calegari)
Context Reasoning and Prediction in Smart Environments: the Home Manager case
(talk) IIMSS 2017, 23/06/2017
Andrea Omicini (Andrea Omicini, Giovanni Ciatto, Stefano Mariani)
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
(talk) WOA 2017, 16/06/2017
Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
Logic Programming as a Service (LPaaS): Intelligence for the IoT
(talk) ICNSC 2017, 16/05/2017
Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani)
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
(talk) 10th International Symposium on Intelligent Distributed Computing (IDC 2016), 11/10/2016
Danilo Pianini (Danilo Pianini, Matteo Francia, Mirko Viroli, Jacob Beal)
Towards a Foundational API for Resilient Distributed Systems Design
(talk) 2nd eCAS Workshop on Engineering Collective Adaptive Systems, 18/09/2016
Danilo Pianini (Danilo Pianini, Mirko Viroli, Roberto Casadei)
Simulating Large-scale Aggregate MASs with Alchemist and Scala
(talk) 10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16), 14/09/2016
Enrico Denti (Andrea Omicini, Claudia Cevenini, Enrico Denti, Italo Cerno)
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
(talk) Florence, Italy, 14/09/2016
Andrea Omicini (Andrea Omicini, Francesco Degli Angeli, Michele Donati, Sara Montagna)
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
(talk) XVII Workshop “From agents to objects” (WOA 2016), 30/07/2016
Andrea Omicini (Andrea Omicini, Stefano Mariani)
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
(talk) XVII Workshop “From agents to objects” (WOA 2016), 30/07/2016
Andrea Omicini (Andrea Omicini, Stefano Mariani)
Game Engines to Model MAS: A Research Roadmap
(talk) XVII Workshop “From agents to objects” (WOA 2016), 30/07/2016
Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
Towards Logic Programming as a Service: Experiments in tuProlog
(talk) XVII Workshop “From agents to objects” (WOA 2016), 29/07/2016
Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari, Agostino Dovier)
Labelled Variables in Logic Programming: Foundations
(talk) CILC 2016, 20/06/2016
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
(talk) AI*IA 2015, 24/09/2015
Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
Labelled Variables in Logic Programming: A First Prototype in tuProlog
(talk) AI*IA 2015 Doctoral Consortium, 23/09/2015
Franco Zambonelli (Andrea Omicini, Franco Zambonelli)
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
(talk) Napoli, Italy, 18/06/2015
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
(talk) Grenoble, France, 03/06/2015
Danilo Pianini (Andrea Omicini, Danilo Pianini, Sara Montagna)
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
(talk) Istanbul, Turkey, 05/05/2015
Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
Protelis: Practical Aggregate Programming
(talk) Coordination Models and Languages @ SAC 2015, 16/04/2015
Danilo Pianini (Danilo Pianini)
Engineering Complex Computational Ecosystems
(talk) PhD Defense, 14/04/2015
Roberta Calegari (Enrico Denti, Roberta Calegari)
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
(talk) ICAART 2015, 10/01/2015
Stefano Mariani (Andrea Omicini, Stefano Mariani)
 Stochastic Coordination in CAS: Expressiveness & Predictability
(talk) Seminar, 15/12/2014
Marco Prandini (Enrico Denti, Marco Prandini, Roberta Calegari)
Extending a Smart Home multi-agent system with Role-Based Access Control
(talk) New Taipei City, Taiwan, 11/12/2014
Hong-Linh Truong (Andrea Omicini, Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Schahram Dustdar)
Coordination-aware Elasticity
(talk) London, UK, 11/12/2014
Stefano Mariani (Stefano Mariani)
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
(talk) DISI - OSIMAS meeting, 13/11/2014
Andrea Omicini (Andrea Omicini, Stefano Mariani)
TuCSoN Coordination for MAS Situatedness: Towards a Methodology
(talk) Catania, Italy, 26/09/2014
Andrea Omicini (Andrea Omicini, Stefano Mariani)
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
(talk) IDCS 2014, 23/09/2014
Stefano Mariani (Stefano Mariani)
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates
(talk) Workshop, 08/09/2014
Stefano Mariani (Andrea Omicini, Luca Sangiorgi, Stefano Mariani)
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
(talk) Madrid, 03/09/2014
Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
Agent-based and Chemical-inspired Approaches for Multicellular Models
(talk) Meeting CINI Laboratorio InfoLife, 11/07/2014
Andrea Omicini (Andrea Omicini, Stefano Mariani)
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination
(talk) Vietri sul Mare, SA, Italy, 20/12/2013
Andrea Omicini (Andrea Omicini, Stefano Mariani)
Tuple-based Coordination of Stochastic Systems with Uniform Primitives
(talk) WOA 2013, 02/12/2013
Stefano Mariani (Stefano Mariani)
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
(talk) Workshop, 02/12/2013
Andrea Omicini (Andrea Omicini, Stefano Mariani)
Space-aware Coordination in ReSpecT
(talk) Torino, Italy, 02/12/2013
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
(talk) Workshop, 17/09/2013
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
(talk) Workshop, 17/09/2013
Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
A core calculus of computational fields
(talk) Malaga, Spagna, 11/09/2013
Danilo Pianini (Danilo Pianini)
SAPERE Analysis tools
(talk) M32 SAPERE Consortium Meeting, 18/06/2013
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Probabilistic Modular Embedding for Stochastic Coordinated Systems
(talk) Conference, 04/06/2013
Andrea Omicini (Andrea Omicini, Pierluigi Contucci)
Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective
(talk) Session "New Directions in Coordination Models and Languages", COORDINATION 2013 , 03/06/2013
Mirko Viroli (Mirko Viroli)
Engineering Self-organising Coordination: A Computational Field Approach
(talk) Coordination 2013, 03/06/2013
Danilo Pianini (Danilo Pianini)
From Engineer to Alchemist, There and Back Again: An Alchemist Tale
(talk) Room A2, via Rasi e Spinelli 176, Cesena, 24/05/2013
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
(talk) LSA Course 2012/2013, 17/05/2013
Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
Engineering Pervasive Multiagent Systems in SAPERE
(talk) 1st Workshop "Engineering Multi-Agent Systems" (EMAS 2013), 07/05/2013
Mirko Viroli (Mirko Viroli)
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
(talk) SCW 2013, 06/05/2013
Mirko Viroli (Mirko Viroli, Sara Montagna)
Composing gradients for a context-aware navigation of users in a smart-city
(talk) SCW 2013, 06/05/2013
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
(talk) Workshop, 06/05/2013
Stefano Mariani (Andrea Omicini, Stefano Mariani)
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
(talk) Workshop, 03/04/2013
Danilo Pianini (Danilo Pianini)
WP1 tools: current status and ongoing work
(talk) SAPERE General Meeting, 20/02/2013
Mirko Viroli (Mirko Viroli)
Glocality: emergent behaviours
(talk) CINA kickoff meeting, 06/02/2013
Andrea Santi
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
(talk) Tucson, USA, 21/10/2012
Stefano Mariani (Andrea Omicini, Stefano Mariani)
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
(talk) IDC 2012, 25/09/2012
Andrea Santi (Andrea Santi)
An Eclipse-based IDE for Agent-Oriented Programming in simpAL
(talk) Pozzuoli, Italy, 21/09/2012
Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
(talk) 13th Workshop on Objects and Agents (WOA 2012), 19/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna, Jose Luis Fernandez Marquez)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
(talk) 13th Workshop on Objects and Agents (WOA 2012), 19/09/2012
Andrea Santi (Andrea Santi)
Programming Distributed Multi-Agent Systems in simpAL
(talk) Milan, Italy, 18/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Gradient-based Self-organisation Patterns of Anticipative Adaptation
(talk) 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012
Andrea Omicini (Ambra Molesini, Andrea Omicini)
SAPERE Methodology Alpha Version
(talk) SAPERE Meeting @ SASO 2012, Lyon, France, 10/09/2012
Andrea Omicini (Andrea Omicini, Marco Alberti)
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
(talk) ASENSIS @ SASO 2012, 10/09/2012
Stefano Mariani (Stefano Mariani, Andrea Omicini)
Self-Organising News Management: The Molecules of Knowledge Approach
(talk) ASENSIS @ SASO 2012, 10/09/2012
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(talk) ASENSIS @ SASO 2012, 10/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M21. Progresses and Plan
(talk) General SAPERE Meeting, 11/06/2012
Andrea Santi
Typing Multi-Agent Programs in simpAL
(talk) Valencia, Spain, 05/06/2012
Olivier Boissier (Andrea Santi, Alexandru Sorici, Olivier Boissier, Gauthier Picard, F. Jomi Hubner)
Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure
(talk) Valencia, Spain, 05/06/2012
Mirko Viroli (Mirko Viroli)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(talk) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
(talk) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Andrea Santi (Andrea Santi)
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
(talk) Portland, USA, 24/10/2011
Andrea Santi (Andrea Santi)
JaCa-Android: an agent-based platform for building smart mobile applications
(talk) Portland, USA, 24/10/2011
Andrea Santi (Andrea Santi, Alexandru Sorici, Olivier Boissier, Gauthier Picard)
Exploiting the JaCaMo framework for realising an adaptive room governance application
(talk) Portland, USA, 24/10/2011
Andrea Santi (Andrea Santi)
Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development
(talk) Rome, Italy, 26/09/2011
Andrea Santi (Andrea Santi, Antonio Natali)
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
(talk) 6th Workshop of the Italian Eclipse Community (Eclipse-IT 2011), 23/09/2011
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems 
(talk) Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011
Danilo Pianini (Elena Nardini, Mirko Viroli, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems
(talk) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy - 05/07/2011, 06/07/2011
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Simulation Framework for Pervasive Service Ecosystems
(talk) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy - 05/07/2011, 06/07/2011
Andrea Omicini (Ambra Molesini, Andrea Omicini, Enrico Denti)
BaSi: Multi-Agent Based Simulation for Medieval Battles
(talk) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy, 05/07/2011
Sara Montagna (Sara Montagna)
An application of the WP1 computational model to a real scenario
(talk) 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
(talk) Corso di Biologia Molecolare della Cellula, 08/11/2010
Sascia Virruso, Danilo Pianini (Andrea Omicini, Mirko Viroli, Sascia Virruso, Danilo Pianini, Ronaldo Menezes)
Self Organization in Coordination Systems using a WordNet-based Ontology
(talk) 30/09/2010
Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Self-Organising Infrastructure for Chemical-Semantic Coordination
(talk) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010), 07/09/2010
Ambra Molesini (Ambra Molesini, Andrea Omicini)
Documenting SODA: An Evaluation of the Process Documentation Template
(talk) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010), 07/09/2010
Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Sara Montagna)
A Multiscale Agent-based Model of Morphogenesis in Biological Systems
(talk) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010), 06/09/2010
Andrea Santi (Andrea Santi, Marco Guidi)
Exploiting Agent-Oriented Programming for Developing Android Applications
(talk) Rimini, Italy, 06/09/2010
Andrea Santi (Andrea Santi, Mattia Minotti)
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
(talk) Lyon, Francia, 01/09/2010
Andrea Santi (Andrea Santi, Marco Guidi)
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
(talk) Lyon, Francia, 01/09/2010
Andrea Santi (Andrea Santi, Mattia Minotti)
Developing Web Client Applications with JaCa-Web
(talk) Rimini, Italy, 01/09/2010
Andrea Santi (Andrea Santi)
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
(talk) Lyon, France, 25/08/2010
Sara Montagna (Sara Montagna)
A Framework for Modelling and Simulating Networks of Cells 
(talk) CS2Bio 2010, 10/06/2010
Andrea Santi (Andrea Santi, Michele Piunti)
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
(talk) PROMAS 2010, 11/05/2010
Ambra Molesini (Antonio Natali, Ambra Molesini)
Towards model-driven communications
(talk) International Conference on Software Engineering and Technologies, 29/04/2010
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
(talk) Special Track on Coordination Models, Languages and Applications of the 25th ACM Symposium on Applied Computing (SAC 2010), 26/03/2010
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Chemical-Inspired Self-Composition of Competing Services
(talk) 25th Annual ACM Symposium on Applied Computing (SAC 2010), 26/03/2010
Ambra Molesini (Ambra Molesini, Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri)
Building an Agent Methodology from Fragments: the MEnSA experience 
(talk) AOMIP@SAC 2010, 25/03/2010
Ambra Molesini (Ambra Molesini, Elena Nardini, Marco Prandini, Enrico Denti)
Risk Analysis and Deployment Security Issues in a Multi-Agent System
(talk) 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22/01/2010
Andrea Santi (Andrea Santi)
Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS
(talk) Cesena, Italy, 14/10/2009
Sara Montagna (Sara Montagna)
Towards a framework for multi-level modelling in Computational Biology
(talk) PhD Second Year Ending Seminar, 14/10/2009
Onder Gurcan (Onder Gurcan)
An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks
(talk) APICe meeting, 22/09/2009
Michele Piunti (Alessandro Ricci, Michele Piunti, Olivier Boissier, Jomi F. Hübner)
Embodying Organisations in Multi-Agent Work Environments
(talk) 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  (WI-IAT 2009), Milano, Italy, 17/09/2009
Michele Piunti (Alessandro Ricci, Michele Piunti, Olivier Boissier, J. Fred Hubner)
Embodied Organisations in MAS  Environments
(talk) 11/09/2009
Michele Piunti (Alessandro Ricci, Michele Piunti)
Exploiting Agent Observability in Multi-Agent  System Programming
(talk) German Conference on Multi-Agent Systems (MATES 2009), 09/09/2009
Andrea Santi (Alessandro Ricci, Andrea Santi, Michele Piunti)
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
(talk) Turin, Italy, 09/09/2009
Andrea Santi (Andrea Santi, Michele Piunti)
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
(talk) WOA 2009, 10/07/2009
Sara Montagna (Sara Montagna, Mirko Viroli)
A Computational Framework for Multilevel Morphologies 
(talk) Morphogenetic Engineering Workshop, 19/06/2009
Alessandro Ricci (Alessandro Ricci, Michele Piunti)
Environment Programming in MAS with CArtAgO
(talk) aliCE Workshop on "Programming multi-agent systems: agents, environment, organisations", 10/06/2009
Mirko Viroli (Sara Montagna, Mirko Viroli)
A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry
(talk) Congress on Evolutionary Computation (CEC 2009), 21/05/2009
Mirko Viroli (Mirko Viroli, Matteo Casadei)
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing
(talk) The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009
Michele Piunti (Michele Piunti)
Introducing Relevance Awareness in BDI Agents 
(talk) Programming Multi Agent Systems (PROMAS 2009), in the context of AAMAS 2009, 12/05/2009
Matteo Casadei (Matteo Casadei)
Self-Organising Coordination Systems
(talk) PhD Final Dissertation, 08/04/2009
Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Framework for Modelling and Implementing Self-Organising Coordination
(talk) 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009
Andrea Omicini (Andrea Omicini)
Situated Tuple Centres in ReSpecT
(talk) 2009 ACM Symposium on Applied Computing (SAC 2009), 10/03/2009
Andrea Omicini (Ambra Molesini, Andrea Omicini)
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
(talk) 2009 ACM Symposium on Applied Computing (SAC 2009), 09/03/2009
Andrea Omicini (Andrea Omicini, Ambra Molesini)
An Agent-based Application for Home Intelligence
(talk) International Conference on Agents and Artificial Intelligence (ICAART 2009), 20/01/2009
Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems
(talk) Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009
Michele Piunti (Alessandro Ricci, Michele Piunti)
From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS 
(talk) Sixth European Workshop on Multi-Agent Systems (EUMAS-2008), 18/12/2008
Ambra Molesini (Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini)
SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures 
(talk) AOSE TFG - Bath, UK, 17/12/2008
Michele Piunti (Alessandro Ricci, Michele Piunti, Lars Braubach, Alexander Pokahr)
Goal-Directed Interactions in Artifact-Based MAS:  Jadex Agents playing in CARTAGO Environments  
(talk) IEEE/WIC/ACM Conference on Web Intelligence and Intelligent Agent Technologies WI-IAT 2008 (Sydney), 11/12/2008
Enrico Oliva (Enrico Oliva)
Model-driven Generation of Graphical Maps for e-Contents
(talk) 3rd Italian Workshop on Eclipse Technologies, 18/11/2008
Andrea Omicini (Alessandro Ricci, Michele Piunti)
From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS
(talk) WOA 2008, Palermo, Italy, 18/11/2008
Andrea Omicini (Enrico Oliva, Andrea Omicini)
Arguments and Artifacts for Dispute Resolution
(talk) WOA 2008, Palermo, Italy, 17/11/2008
Ambra Molesini (Andrea Omicini, Ambra Molesini)
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
(talk) Woa 2008, 17/11/2008
Fabiano Dalpiaz (Ambra Molesini, Fabiano Dalpiaz, Mariachiara Puviani, Valeria Seidita)
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
(talk) WOA 2008, 17/11/2008
Michele Piunti (Alessandro Ricci, Michele Piunti)
DA A AD A : Towards a Cognitive Use of Artifacts in MAS
(talk) Séminaires G2I, Ecole Nationale Superieure des Mines St-Etienne, 13/11/2008
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
(talk) 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008
Elena Nardini (Elena Nardini, Andrea Omicini, Matteo Casadei, Pietro Gaffuri)
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
(talk) The 2008 International Conference on Interactive Computer Aided Learning (ICL 2008), 26/09/2008
Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
RBAC-MAS & SODA: Experimenting RBAC in AOSE
(talk) 9th International Workshop “Engineering Societies in the Agents World” (ESAW 2008), 25/09/2008
Emiliano Lorini (Alessandro Ricci, Michele Piunti)
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing  in Environments
(talk) Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 17/09/2008
Andrea Roli (Andrea Omicini, Sara Montagna)
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
(talk) MAS&Bio'08, 11/09/2008
Elena Nardini (Elena Nardini, Andrea Omicini)
A Framework for Collaborative-Learning Systems Based on Agent Technologies
(talk) The 2008 International Conference on the Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education, 01/09/2008
Alessandro Ricci (Alessandro Ricci, Michele Piunti)
Environment Programming in MAS: CARTAGO and Friends
(talk) Dagstuhl Seminar 08361, "Programming Multi-Agent Systems", 04/08/2008
Enrico Oliva (Enrico Oliva)
Experiment with Stochastic Prolog as Simulation Language
(talk) 23° Convegno Italiano di Logica Computazionale (CILC), 10/07/2008
Matteo Casadei (Andrea Omicini, Matteo Casadei)
Situating A&A ReSpecT for Pervasive Environment Applications
(talk) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop, 24/06/2008
Matteo Casadei (Mirko Viroli, Matteo Casadei, Marco Santarelli)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
(talk) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop, 24/06/2008
Enrico Oliva (Enrico Oliva)
Argumentation and Artifact for Dialogue Support
(talk) 5th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS), 12/05/2008
Andrea Omicini (Elena Nardini, Andrea Omicini)
SPEM on Test: The SODA Case Study
(talk) 23th ACM Symposium on Applied Computing (SAC 2008), Special Track on Software Engineering, 19/03/2008
Andrea Omicini (Giulio Piancastelli, Andrea Omicini, Alessandro Ricci, Alex Benini)
The Architecture and Design of a Malleable Object-Oriented Prolog Engine
(talk) 23th ACM Symposium on Applied Computing (SAC 2008), Special Track on Programming Languages, 18/03/2008
Elena Nardini (Andrea Omicini, Elena Nardini, Maria Cristina Matteucci)
Toward a Framework for Collaborative Learning Based on Agent-based Technologies
(talk) International Technology, Education and Development Conference ([INTED 2008|http://www.iated.org/inted2008/]). Valencia, Spain, 03/03/2008
Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista)
On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions
(talk) Working IEEE/IFIP Conference on Software Architecture (WICSA) 2008, 19/02/2008
Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)
SPEM on test: the SODA case study
(talk) 5th European Workshop on Multi-Agent Systems ([EUMAS 2007|http://www.atia.rnu.tn/eumas/]). Hammamet, Tunisia, 07/12/2007
Andrea Omicini (Andrea Omicini, Ambra Molesini)
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
(talk) 8th International Workshop 'Engineering Societies in the Agents World' (ESAW 2007), 24/10/2007
Enrico Oliva (Enrico Oliva, Antonio Natali)
Using Eclipse in Building Model-driven e-Learning Supports
(talk) 2rd Italian Workshop on Eclipse Technologies - Universitità degli Studi di Napoli Federico II , 05/10/2007
Alessandro Garcia (Ambra Molesini, Alessandro Garcia)
On the Interplay of Crosscutting and MAS-Specific Styles
(talk) First European Conference on Software Architecture (ECSA 2007), 25/09/2007
Matteo Casadei (Mirko Viroli, Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf)
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems
(talk) Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007
Matteo Casadei (Mirko Viroli, Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf)
On the Problem of Over-clustering in Tuple-based Coordination Systems
(talk) First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
(talk) Fourth European Workshop on Multi-Agent Systems, EUMAS 2006, 15/12/2006
Ambra Molesini (Ambra Molesini, Enrico Denti, Rossella Rubino)
OWL-S for Describing Artifacts
(talk) 4th European Workshop on Multi-Agent Systems ([EUMAS 2006|http://eumas06.di.fc.ul.pt/]), 14/12/2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
Collective Sorting Tuple Spaces
(talk) Workshops from Objects to Agents - WOA 2006, 27/09/2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools
(talk)  AICA: 2006 National Conference, 22/09/2006
Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
Software Engineering Methodologies: The Agent Approach
(talk) Aica 2006, 22/09/2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case
(talk) FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/2006
Andrea Omicini (Andrea Omicini)
Formal ReSpecT in the A&A Perspective
(talk) 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), 31/08/2006
Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
SODA: A Roadmap to Artefacts
(talk) 6th International Workshop on Engineering Societies in the Agent World (ESAW 2005), 28/10/2005
Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
(talk) 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2005), 17/09/2005
Ambra Molesini (Ambra Molesini)
Artefacts in Agent-Oriented Software Engineering 
(talk) Agent Link III - TFG3 AOSE - Budapest, Hungary , 16/09/2005
Enrico Oliva (Enrico Oliva)
A Framework for Engineering Interactions in Java-based Component Systems
(talk) 4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA, 28/08/2005
Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
Zooming Multi-Agent Systems
(talk) 6th International Workshop on Agent-Oriented Software Engineering ([AOSE 2005|http://www.agentgroup.unimo.it/aose05/]), 26/07/2005
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
A Conceptual Framework for Self-Organising MAS
(talk) 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain, 16/12/2004
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Giovanni Rimassa)
Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN
(talk) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK, 19/12/2003
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(talk) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK, 19/12/2003
Andrea Omicini (Andrea Omicini, Giovanni Rimassa)
Towards Seamless Agent Middleware
(talk) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK, 19/12/2003
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Sascha Ossowski)
Rethinking MAS Infrastructure based on Activity Theory
(talk) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK, 18/12/2003
Andrea Omicini (Andrea Omicini)
Declarative Technologies for Internet and Agent Systems
(talk) Giornata GULP 2002, Bologna, Italy, 25/10/2002
Andrea Omicini (Andrea Omicini)
On the Notion of Agent Coordination Context: Preliminary Notes
(talk) and Workshop AI*IA/TABOO “Dagli oggetti agli agenti: tendenze evolutive dei sistemi software” (W0A 2001), Modena, Italia, 05/09/2001
Andrea Omicini (Andrea Omicini, Antonio Natali)
Object-Oriented Computations in Logic Programming
(talk) ECOOP 1994, 07/06/1994
Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti)
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
(talk) GULP 1992, 18/06/1992
Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti, Paola Mello, Evelina Lamma)
Implementing Contexts in Logic Programming
(talk) Bologna, Italy, 26/02/1992
(213 talks)  [top]  [bottom]

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