Per Sort

280 papers in proceedings / Andrea Omicini

long bib

papers in proceedings

GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (2023) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini
A General-Purpose Protocol for Multi-Agent based Explanations (2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (2023) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (2023) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
Multi-Agent Cooperative Argumentation in Arg2P (2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Measuring Trustworthiness in Neuro-Symbolic Integration (2023) — Andrea Agiollo, Andrea Omicini
Peer-Reviewed Federated Learning (2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
GNN2GNN: Graph Neural Networks to Generate Neural Networks (2022) — Andrea Agiollo, Andrea Omicini
KINS: Knowledge Injection via Network Structuring (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Burden of Persuasion in Meta-argumentation (2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
A view to a KILL: Knowledge Injection via Lambda Layer (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (2022) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (2021) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Burden of persuasion in argumentation: A meta-argumentation approach (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (2021) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Towards cooperative argumentation for MAS: An actor-based approach (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (2021) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
2P-Kt: logic programming with objects & functions in Kotlin (2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Arg-tuProlog: A tuProlog-based argumentation framework (2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (2020) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Agent-Based Explanations in AI: Towards an Abstract Framework (2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Not just for humans: Explanation for agent-to-agent communication (2020) — Andrea Omicini
Computable Law as Argumentation-based MAS (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Argumentation and Logic Programming for Explainable and Ethical AI (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
An Abstract Framework for Agent-Based Explanations in AI (2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (2019) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (2019) — Andrea Omicini, Roberta Calegari
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (2019) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Defeasible Systems in Legal Reasoning: A Comparative Assessment (2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
TuSoW: Tuple Spaces for Edge Computing (2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Towards XMAS: eXplainability through Multi-Agent Systems (2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (2017) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Programming the Interaction Space Effectively with ReSpecTX (2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (2016) — Sara Montagna, Andrea Omicini, Danilo Pianini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (2016) — Stefano Mariani, Andrea Omicini
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (2016) — Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
Labelled Variables in Logic Programming: Foundations (2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (2016) — Andrea Omicini, Franco Zambonelli
Towards Logic Programming as a Service: Experiments in tuProlog (2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap (2016) — Stefano Mariani, Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (2015) — Andrea Omicini
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (2015) — Andrea Omicini, Franco Zambonelli
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (2015) — Andrea Omicini, Stefano Mariani
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (2015) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (2015) — Stefano Mariani, Andrea Omicini
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Coordination-aware Elasticity (2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
TuCSoN Coordination for MAS Situatedness: Towards a Methodology (2014) — Stefano Mariani, Andrea Omicini
The Autonomy of Automated Systems (2014) — Giovanni Sartor, Andrea Omicini
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (2014) — Stefano Mariani, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (2013) — Stefano Mariani, Andrea Omicini
Space-aware Coordination in ReSpecT (2013) — Stefano Mariani, Andrea Omicini
Coordination for Situated MAS: Towards an Event-driven Architecture (2013) — Andrea Omicini, Stefano Mariani
Probabilistic Modular Embedding for Stochastic Coordinated Systems (2013) — Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (2013) — Stefano Mariani, Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems (2013) — Andrea Omicini
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (2013) — Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (2013) — Stefano Mariani, Andrea Omicini
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (2013) — Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (2013) — Stefano Mariani, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (2013) — Andrea Omicini, Pierluigi Contucci
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (2012) — Marco Alberti, Andrea Omicini
Molecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach (2012) — Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach (2012) — Stefano Mariani, Andrea Omicini
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (2012) — Marco Alberti, Andrea Omicini
ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Self-aware Pervasive Service Ecosystems (2011) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
BaSi: Multi-Agent Based Simulation for Medieval Battles (2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
Description Spaces with Fuzziness (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
Processes Engineering and AOSE (2011) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Process Documentation Standardization: An Initial Evaluation (2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
Documenting SODA: An Evaluation of the Process Documentation Template (2010) — Ambra Molesini, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (2010) — Sara Montagna, Nicola Donati, Andrea Omicini
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
Situated Tuple Centres in ReSpecT (2009) — Matteo Casadei, Andrea Omicini
Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
A Semantic eScience Portal for International Scientific and Academic Cooperation (2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
An Agent-based Application for Home Intelligence (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
RBAC-MAS & SODA: Experimenting RBAC in AOSE (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications (2008) — Matteo Casadei, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
Toward a Framework for Collaborative Learning based on Agent-based Technologies (2008) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
A Logic Programming Model for Web Resources (2008) — Giulio Piancastelli, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Agent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study (2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE (2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
SPEM on Test: the SODA Case Study (2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
Arguments and Artifacts for Dispute Resolution (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Co-Argumentation Artifact for Agent Societies (2008) — Enrico Oliva, Peter McBurney, Andrea Omicini
Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (2008) — Sara Montagna, Andrea Omicini, Marco Alberti
Formal ReSpecT in the A&A Perspective (2007) — Andrea Omicini
Building Smart Environments as Agent Workspaces (2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (2007) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Experiences in Automated Workflows using Dialectical Argumentation (2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case (2007) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Co-Argumentation Artifact for Agent Societies (2007) — Enrico Oliva, Peter McBurney, Andrea Omicini
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (2006) — Sara Montagna, Alessandro Ricci, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2006) — Rossella Rubino, Andrea Omicini, Enrico Denti
Distributed Workflow upon Linkable Coordination Artifacts (2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Metodologie per l'ingegneria del software: approccio ad agenti (2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
Simulation of Minority Game in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Linkable Coordination Artifacts for Inter-Organisational Workflow (2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
SODA: A Roadmap to Artefacts (2006) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Formal ReSpecT in the A&A Perspective (2006) — Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Minority Game: A Logic-Based Approach in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Zooming Multi-Agent Systems (2006) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (2005) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Zooming Multi-Agent Systems (2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Agent-Oriented Conceptual Framework for Systems Biology (2005) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Environment-Based Coordination Through Coordination Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (2005) — Ambra Molesini, Enrico Denti, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
RBAC for Organisation and Security in an Agent Coordination Infrastructure (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
SODA: A Roadmap to Artefacts (2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
Engineering Trust in Complex System through Mediating Infrastructures (2004) — Alessandro Ricci, Andrea Omicini
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin
Towards Seamless Agent Middleware (2004) — Andrea Omicini, Giovanni Rimassa
A Conceptual Framework for Self-Organising MAS (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (2004) — Andrea Omicini, Alessandro Ricci
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Agent-oriented Conceptual Framework for Biological Systems Simulation (2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
MAS as Complex Systems: A View on the Role of Declarative Approaches (2004) — Andrea Omicini, Franco Zambonelli
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (2004) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
Agent Coordination Context: From Theory to Practice (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts (2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Task-Oriented Engineering of Coordinated Software Systems (2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Objective versus Subjective Coordination in the Engineering of Agent Systems (2003) — Andrea Omicini, Sascha Ossowski
Activity Theory as a Framework for MAS Coordination (2003) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Rethinking MAS Infrastructure based on Activity Theory (2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Supporting Coordination in Open Computational Systems with TuCSoN (2003) — Alessandro Ricci, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
Coordination Tools for the Development of Agent-based Systems (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002 (2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Specifying Agent Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Have ReSpecT for LogOp (2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (2002) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
Engineering Agent Societies: A Case Study in Smart Environments (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
Towards an Alternative Semantics for FIPA ACL (2002) — Mirko Viroli, Andrea Omicini
A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
A Framework for Systemic Coordination in Open Computational Systems (2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
Agent Coordination Contexts: Experiments in TuCSoN (2002) — Alessandro Ricci, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2001) — Andrea Omicini
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (2001) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini
Agent-Oriented Software Engineering for Internet Applications (2001) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2000) — Andrea Omicini
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Formal ReSpecT (2000) — Andrea Omicini, Enrico Denti
Ruling Agent Motion in Structured Environments (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Hybrid Coordination Models for Handling Information Exchange among Internet Agents (2000) — Andrea Omicini
A Coordination Infrastructure for Agent-based Internet Applications (2000) — Enrico Denti, Andrea Omicini
The LuCe Coordination Technology for MAS Design and Development on the Internet (2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Multiagent System Engineering: The Coordination Viewpoint (2000) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (2000) — Andrea Omicini
Engineering Multi-Agent Systems in LuCe (1999) — Enrico Denti, Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (1999) — Andrea Omicini, Franco Zambonelli
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The Explorable Topology: Supporting Agent Autonomy on the Internet (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Adopting an Object-Oriented Data Model in Inductive Logic Programming (1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Building Mobile Agent Applications in HiMAT (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Designing Multi-Agent Systems around an Extensible Communication Abstraction (1999) — Enrico Denti, Andrea Omicini
On the Semantics of Tuple-based Coordination Models (1999) — Andrea Omicini
Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
TuCSoN: a Coordination model for Mobile Information Agents (1998) — Andrea Omicini, Franco Zambonelli
Coordination of Mobile Agents for Information Systems: the TuCSoN Model (1998) — Andrea Omicini, Franco Zambonelli
On the Expressive Power of a Language for Programming Coordination Media (1998) — Enrico Denti, Antonio Natali, Andrea Omicini
Learning with an Object-Oriented Data Model (1997) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Programmable Coordination Media (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Designing Multi-Agent Systems around a Programmable Communication Abstraction (1997) — Enrico Denti, Andrea Omicini
An Object-Oriented Approach to Planning (1996) — Umberto Fonda, Antonio Natali, Andrea Omicini
Integrating Knowledge Acquisition in Plan Selection (1996) — Antonio Natali, Andrea Omicini
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Agent Coordination and Control through Logic Theories (1995) — Andrea Omicini, Enrico Denti, Antonio Natali
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
A Structured Logic Programming Approach to Robot Programming (1994) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Open Logic Theory Composition in a Software Engineering Perspective (1994) — Enrico Denti, Andrea Omicini
Object-Oriented Computations in Logic Programming (1994) — Andrea Omicini, Antonio Natali
Techniques for Implementing Contexts in Logic Programming (1993) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming (1993) — Antonio Natali, Andrea Omicini
Exploiting Logic Programming in Robot Applications (1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
Objects with State in CSM (1993) — Antonio Natali, Andrea Omicini
Objects as Evolving Contexts (1992) — Antonio Natali, Andrea Omicini
Implementing Contexts in Logic Programming (1992) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (1992) — Enrico Denti, Antonio Natali, Andrea Omicini

280 papers in proceedings • top • index • bottom