Per Sort

283 papers in proceedings / Andrea Omicini

long bib

papers in proceedings

Concurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
On the External Concurrency of Current BDI Frameworks for MAS (EMAS 2024@AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
Enforcing Fairness via Constraint Injection with FaUCI (Aequitas 2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (EXTRAAMAS 2023@AAMAS 2023) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
Measuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023) — Andrea Agiollo, Andrea Omicini
Multi-Agent Cooperative Argumentation in Arg2P (AIxIA 2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Peer-Reviewed Federated Learning (WOA 2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini
GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023) — 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) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (AIxIA 2022) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Burden of Persuasion in Meta-argumentation (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022@AAMAS 2022) — 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) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022) — Andrea Agiollo, Andrea Omicini
KINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Towards cooperative argumentation for MAS: An actor-based approach (WOA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (EXTRAAMAS 2021@AAMAS 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 (EXTRAAMAS 2021@AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021@AAMAS 2021) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Arg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020) — Andrea Omicini
Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (ISOLA 2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Computable Law as Argumentation-based MAS (WOA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020@AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019@AIIA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019@PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018@ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018@WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (UbiComp2016) — Andrea Omicini, Franco Zambonelli
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap (WOA 2016) — Stefano Mariani, Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016) — Stefano Mariani, Andrea Omicini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015@AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (WOA 2016) — Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015@AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015) — Stefano Mariani, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015) — Andrea Omicini
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015) — Andrea Omicini, Franco Zambonelli
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (E4MAS 2014@AAMAS 2014) — Andrea Omicini, Stefano Mariani
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014) — Stefano Mariani, Andrea Omicini
Coordination-aware Elasticity (UCC 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014) — Stefano Mariani, Andrea Omicini
The Autonomy of Automated Systems (AWS-LEP 2014) — Giovanni Sartor, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach (SASO 2012) — Stefano Mariani, Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (JAWS 2013@MATES 2013) — Stefano Mariani, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea Omicini
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013@SAC 2013) — Stefano Mariani, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea Omicini
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013@AAMAS 2013) — Stefano Mariani, Andrea Omicini
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013) — Andrea Omicini, Pierluigi Contucci
Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13) — Andrea Omicini, Stefano Mariani
Space-aware Coordination in ReSpecT (WOA 2013) — Stefano Mariani, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012@SASO 2012) — Stefano Mariani, Andrea Omicini
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012@SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012) — Marco Alberti, Andrea Omicini
Molecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini
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 (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
Processes Engineering and AOSE (2011) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Description Spaces with Fuzziness (CM 2011@SAC 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010) — Ambra Molesini, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (2010) — Sara Montagna, Nicola Donati, Andrea Omicini
Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
Process Documentation Standardization: An Initial Evaluation (FIPA-DPDF@MALLOW 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 (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009@SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
An Agent-based Application for Home Intelligence (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
A Semantic eScience Portal for International Scientific and Academic Cooperation (2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
Co-Argumentation Artifact for Agent Societies (2008) — Enrico Oliva, Peter McBurney, Andrea Omicini
The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Arguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008@WET ICE 2008) — Matteo Casadei, Andrea Omicini
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (2008) — Sara Montagna, Andrea Omicini, Marco Alberti
Toward a Framework for Collaborative Learning based on Agent-based Technologies (2008) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
A Logic Programming Model for Web Resources (2008) — Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
Agent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini
SPEM on Test: the SODA Case Study (2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Experiences in Automated Workflows using Dialectical Argumentation (2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, 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
Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Formal ReSpecT in the A&A Perspective (2007) — Andrea Omicini
Building Smart Environments as Agent Workspaces (CoMA 2007@WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Linkable Coordination Artifacts for Inter-Organisational Workflow (2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Formal ReSpecT in the A&A Perspective (2006) — Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 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
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (2006) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 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
Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 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
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 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 (E4MAS 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
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 (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Zooming Multi-Agent Systems (2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
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
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
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
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (ESAW 2003) — Andrea Omicini, Alessandro Ricci
MAS as Complex Systems: A View on the Role of Declarative Approaches (DALT 2003@AAMAS 2003) — Andrea Omicini, Franco Zambonelli
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
Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004) — Alessandro Ricci, 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
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin
Towards Seamless Agent Middleware (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Giovanni Rimassa
A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Supporting Coordination in Open Computational Systems with TuCSoN (TAPOCS 2003@WET ICE 2003) — Alessandro Ricci, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
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
Task-Oriented Engineering of Coordinated Software Systems (2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
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
On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
Coordination Tools for the Development of Agent-based Systems (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
A Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
Agent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea Omicini
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002@ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2001) — Andrea Omicini
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
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
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea Omicini
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
The HiMAT Model for Mobile Agent Applications (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
Building Mobile Agent Applications in HiMAT (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999) — Andrea Omicini
Adopting an Object-Oriented Data Model in Inductive Logic Programming (1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Engineering Multi-Agent Systems in LuCe (1999) — Enrico Denti, Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999@SAC 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
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999@SAC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The Explorable Topology: Supporting Agent Autonomy on the Internet (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
TuCSoN: a Coordination model for Mobile Information Agents (IIIS-98@CAiSE'98) — Andrea Omicini, Franco Zambonelli
On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998@SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
Coordination of Mobile Agents for Information Systems: the TuCSoN Model (1998) — Andrea Omicini, Franco Zambonelli
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 (ModelAge‘97) — Enrico Denti, Andrea Omicini
Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Learning with an Object-Oriented Data Model (1997) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Integrating Knowledge Acquisition in Plan Selection (1996) — Antonio Natali, Andrea Omicini
An Extensible Framework for the Development of Coordinated Applications (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Object-Oriented Approach to Planning (1996) — Umberto Fonda, Antonio Natali, Andrea Omicini
Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali
Open Logic Theory Composition in a Software Engineering Perspective (1994) — Enrico Denti, Andrea Omicini
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 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
Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali
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 with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini

283 papers in proceedings • top • index • bottom