Per Sort

752 papers in proceedings

AI-fairness and equality of opportunity: a case study on educational achievement (Aequitas 2024) — Ángel S. Marrero, Gustavo A. Marrero, Carlos Bethencourt, Liam James, Roberta Calegari
Hierarchical Knowledge Extraction from Opaque Machine Learning Predictors (AIxIA 2024) — Federico Sabbatini, Roberta Calegari
ICE: An Evaluation Metric to Assess Symbolic Knowledge Quality (AIxIA 2024) — Federico Sabbatini, Roberta Calegari
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
Actively Learning Ontologies from LLMs: First Results (Extended Abstract) (DL 2024) — Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi
Enforcing Fairness via Constraint Injection with FaUCI (Aequitas 2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Approximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (KDD 2024) — Andrea Agiollo, Young In Kim, Rajiv Khanna
LLM-based Solutions for Healthcare Chatbots: a Comparative Analysis (TELMED 2024) — Sara Montagna, Gianluca Aguzzi, Stefano Ferretti, Martino Francesco Pengo, Lorenz Cuno Klopfenstein, Michelangelo Ungolo, Matteo Magnini
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
Generation of Clinical Skin Images with Pathology with Scarce Data (AAAI-24) — Andrea Borghesi, Roberta Calegari
Unmasking the Shadows: Leveraging Symbolic Knowledge Extraction to Discover Biases and Unfairness in Opaque Predictive Models (Aequitas 2024) — Federico Sabbatini, Roberta Calegari
Ensuring Fairness Stability for Disentangling Social Inequality in Access to Education: the FAiRDAS General Method (2024) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
The Cognitive Hourglass: Agent Abstractions in the Large Models Era (AAMAS 2024) — Alessandro Ricci, Stefano Mariani, Franco Zambonelli, Samuele Burattini, Cristiano Castelfranchi
Symbolic Knowledge Comparison: Metrics and Methodologies for Multi-Agent Systems (WOA 2024) — Federico Sabbatini, Christel Sirocchi, Roberta Calegari
Long-Term Fairness Strategies in Ranking with Continuous Sensitive Attributes (Aequitas 2024) — Luca Giuliani, Eleonora Misino, Roberta Calegari, Michele Lombardi
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
Explainable Clustering with CREAM (KR 2023) — Federico Sabbatini, Roberta Calegari
Peer-Reviewed Federated Learning (WOA 2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini
Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023@AAMAS 2023) — Federico Sabbatini, Roberta Calegari
Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023) — Federico Sabbatini, Roberta Calegari
Integrating Ontologies and Cognitive Conversational Agents in On2Conv (EUMAS 2023) — Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (AIxIA 2022) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini
FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (2023) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (EUMAS 2023) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023@KR 2023) — Federico Sabbatini, Roberta Calegari
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa (2023) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi
(Re)Integration of Logical English and s(CASP) (2023) — Galileo Sartor, Jacinto Dàvila, Alessia Fidelangeli, Giuseppe Pisano
A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023@AAMAS 2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Unveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm (2023) — Federico Sabbatini, Roberta Calegari
Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023) — Federico Sabbatini, Roberta Calegari
GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, 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
Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
A geometric framework for fairness (2023) — Alessandro Maggio, Luca Giuliani, Roberta Calegari, Michele Lombardi, Michela Milano
Multi-Agent Cooperative Argumentation in Arg2P (AIxIA 2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques (ECAI-2023) — Federico Sabbatini, Roberta Calegari
Assessing and Enforcing Fairness in the AI Lifecycle (2023) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan
Measuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023) — Andrea Agiollo, Andrea Omicini
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (2023) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
The PSyKE Technology for Trustworthy Artificial Intelligence (AIxIA 2022) — Roberta Calegari, Federico Sabbatini
Modular logic argumentation in Arg-tuProlog (AIxIA 2021) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Arguing About the Existence of Conflicts (2022) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
Probabilistic logic programming in 2P-Kt (AIxIA 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Burden of Persuasion in Meta-argumentation (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Taking stock of available technologies for compliance checking on first-order knowledge (CILC 2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
KINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
Clustering-Based Approaches for Symbolic Knowledge Extraction (2022) — Federico Sabbatini, Roberta Calegari
GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022) — Andrea Agiollo, Andrea Omicini
Integration of Logical English and s(CASP) (2022) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
Logic Programming library for Machine Learning: API design and prototype (CILC 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022@AAMAS 2022) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022) — Federico Sabbatini, Roberta Calegari
Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (2022) — Federico Sabbatini, Roberta Calegari
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 Human-centric AutoML via Logic and Argumentation (DATAPLAT 2022) — Joseph Giovanelli, Giuseppe Pisano
Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021@AAMAS 2021) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021@AAMAS 2021) — Federico Sabbatini, Giovanni Ciatto, 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
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Breaking down monoliths with Microservices and DevOps: an industrial experience report (2021) — Danilo Pianini, Alessandro Neri
The Burden of Persuasion in Structured Argumentation (2021) — Roberta Calegari, Regis Riveret, Giovanni Sartor
Burdens of Persuasion and Standards of Proof in Structured Argumentation (2021) — Roberta Calegari, Giovanni Sartor
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021@AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Explainability through argumentation in logic programming (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, 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
Programming Agent-Based Mobile Apps: The JaCa-Android Framework (AAMAS 2021) — Angelo Croatti, Alessandro Ricci
Towards cooperative argumentation for MAS: An actor-based approach (WOA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020@AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020) — Andrea Omicini
Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
A Model for the Burden of Persuasion in Argumentation (JURIX 2020) — Roberta Calegari, Giovanni Sartor
Arg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Language Models are Few-Shot Learners (2020) — Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, Dario Amodei
An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (PAAMS'20) — Angelo Croatti, Alessandro Ricci
Time-Fluid Field-Based Coordination (2020) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (2020) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (PAAMS'20) — Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
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
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (2020) — Stefano Mariani, Franco Zambonelli
Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform (EMAS 2020@AAMAS 2020) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (EUMAS 2020) — Angelo Croatti, Alessandro Ricci
Burden of Persuasion in Argumentation (ICLP 2020) — Roberta Calegari, Giovanni Sartor
TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019@PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models (2019) — Michele Braccini, Sara Montagna, Andrea Roli
The share Operator for Field-Based Coordination () — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach () — Roberto Casadei, Mirko Viroli
Aggregate Processes in Field Calculus () — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Big Data from the Cloud to the Edge: The Aggregate Computing Solution () — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Case studies for a new IoT programming paradigm: Fluidware (AI&IoT 2019@AIIA 2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari
On a Higher-Order Calculus of Computational Fields () — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019@AIIA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach () — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration () — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
Engineering Resilient Collaborative Edge-Enabled IoT () — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (2019) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
On Context-Orientation in Aggregate Programming () — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (CBMS 2019) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
ViTALiSE: Virtual to Augmented Loop in Smart Environments (AAMAS 2019) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
Security in Collective Adaptive Systems: A Roadmap () — Danilo Pianini, Roberto Casadei, Mirko Viroli
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN (2019) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
Self-organising Coordination Regions: a Pattern for Edge Computing () — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems () — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Distributed Speaking Objects: a Case for Massive Multiagent Systems () — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Aggregate Graph Statistics (ALP4IoT2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Combining Trust and Aggregate Computing () — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — 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
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (2018) — Sara Montagna, Michele Braccini, Andrea Roli
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018@WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Coordination of Complex Socio-technical Systems: Challenges and Opportunities (ALP4IoT2017) — Stefano Mariani
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things () — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Distributed Real-Time Shortest-Paths Computations with the Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Space-Time Universality of Field Calculus (ALP4IoT2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT () — Roberto Casadei, Mirko Viroli
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (2018) — Angelo Croatti, Alessandro Ricci
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (2018) — Angelo Croatti, Alessandro Ricci
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
Towards Argumentation-based Recommendations for Personalised Patient Empowerment () — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Attention Is All You Need (2017) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin
Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico Denti
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea () — Angelo Croatti, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci
Preface (A2HC 2017) — Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
Modeling Opportunistic IoT Services in Open IoT Ecosystems (WOA 2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Towards a Foundational API for Resilient Distributed Systems Design (2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards the Web of Augmented Things (2017) — Angelo Croatti, Alessando Ricci
Practical Aggregate Programming with Protelis () — Danilo Pianini, Jacob Beal, Mirko Viroli
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci
Spiking Neural Networks as Timed Automata (ALP4IoT2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
The impact of self-loops in random boolean network dynamics (2017) — Sara Montagna, Michele Braccini, Andrea Roli
Formal Validation of Neural Networks as Timed Automata (2017) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration () — Danilo Pianini, Simon Dobson, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients () — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Coordinating Distributed Speaking Objects () — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Simulating Large-scale Aggregate MASs with Alchemist and Scala () — Mirko Viroli, Roberto Casadei, Danilo Pianini
Game Engines to Model MAS: A Research Roadmap (WOA 2016) — Stefano Mariani, Andrea Omicini
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (AGERE! 2016) — Angelo Croatti, Alessandro Ricci
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
Improving Gossip Dynamics Through Overlapping Replicates (COORDINATION 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates () — Danilo Pianini, Jacob Beal, Mirko Viroli
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016) — Stefano Mariani, Andrea Omicini
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (2016) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
On Execution Platforms for Large-scale Aggregate Computing () — Mirko Viroli, Roberto Casadei, Danilo Pianini
Self-adaptation to Device Distribution Changes in Situated Computing Systems () — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Labelled Variables in Logic Programming: Foundations (CILC 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 (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
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016) — Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Aggregate Programming: From Foundations to Applications () — Jacob Beal, Mirko Viroli
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
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (ECAS 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (UbiComp2016) — Andrea Omicini, Franco Zambonelli
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE () — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap () — Mirko Viroli, Jacob Beal
The Butlers Framework for Socio-Technical Smart Spaces (INSCI 2016) — Roberta Calegari, Enrico Denti
Towards Aggregate Programming in Scala () — Roberto Casadei, Mirko Viroli
Run-Time Management of Computation Domains in Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Effective Approaches to Attention-based Neural Machine Translation (2015) — Thang Luong, Hieu Pham, Christopher D. Manning
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Protelis: Practical Aggregate Programming (SAC 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015@DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
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
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015) — Andrea Omicini, Franco Zambonelli
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Neural Machine Translation by Jointly Learning to Align and Translate (2015) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio
Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
Smart Augmented Fields for Emergency Operations (2015) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Computational Fields Meet Augmented Reality: Perspectives and Challenges () — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (EMAS 2015@AAMAS 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (2015) — Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio
Towards agent aggregates: perspectives and challenges (EMAS 2015@AAMAS 2015) — Mirko Viroli, Alessandro Ricci
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015) — Stefano Mariani, Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015) — Andrea Omicini
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (PRIMA 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities () — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
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
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (SASO 2014) — Stefano Mariani
Coordination-aware Elasticity (UCC 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Building Blocks for Aggregate Programming of Self-Organising Applications () — Jacob Beal, Mirko Viroli
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014) — Stefano Mariani, Andrea Omicini
Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations () — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Cross-domain Text Classification through Iterative Refining of Target Categories Representations () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Extending a Smart Home Multi-Agent System with Role-Based Access Control (ITS 2014) — Enrico Denti, Roberta Calegari, Marco Prandini
A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani
The Autonomy of Automated Systems (AWS-LEP 2014) — Giovanni Sartor, Andrea Omicini
Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification () — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
Towards a Unified Model of Spatial Computing () — Mirko Viroli
TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014) — Stefano Mariani, Andrea Omicini
HPC from a self-organisation perspective: The case of crowd steering at the urban scale () — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
Distributed statistical analysis of complex systems modeled through a chemical metaphor () — Danilo Pianini, Stefano Sebastio, Andrea Vandin
A calculus of computation fields () — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (SCW 2013@AAMAS 2013) — Sara Montagna, Mirko Viroli
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013@AAMAS 2013) — Stefano Mariani, Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach (SASO 2012) — Stefano Mariani, Andrea Omicini
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013) — Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Domain Independent Text Categorization () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013) — Stefano Mariani
Coupling software architecture and human architecture for collaboration-aware system adaptation () — Christoph Dorn, Richard N Taylor
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea Omicini
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
Space-aware Coordination in ReSpecT (WOA 2013) — Stefano Mariani, Andrea Omicini
Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini
Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13) — Andrea Omicini, Stefano Mariani
Predicting Social Density in Mass Events to Prevent Crowd Disasters. (SocInfo2013) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (JAWS 2013@MATES 2013) — Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013) — Andrea Omicini, Pierluigi Contucci
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (2013) — Alessandro Ricci, Andrea Santi
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013@SAC 2013) — Stefano Mariani, Andrea Omicini
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (CM 2013@SAC 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments () — Mirko Viroli, Danilo Pianini, Jacob Beal
Molecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications () — Christoph Dorn, Richard N Taylor
Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012@SASO 2012) — Stefano Mariani, Andrea Omicini
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach () — Alessandro Ricci, Andrea Santi
Gradient-based Self-organisation Patterns of Anticipative Adaptation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks () — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Self-organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012) — Marco Alberti, Andrea Omicini
On the Space-time Situation of Pervasive Service Ecosystems (2012) — Mirko Viroli, Graeme Stevenson
Is It a “Good” Encoding of Mixed Choice? (2012) — Kirstin Peters, Uwe Nestmann
Programming Distributed Multi-Agent Systems in simpAL () — Andrea Santi, Alessandro Ricci
An Eclipse-based IDE for Agent-Oriented Programming in simpAL () — Andrea Santi, Alessandro Ricci
On the Space-time Situation of Pervasive Service Ecosystems () — Mirko Viroli, Graeme Stevenson
Bottom-Up Argumentation (2012) — Francesca Toni, Paolo Torroni
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Typing Multi-Agent Programs in simpAL () — Alessandro Ricci, Andrea Santi
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
BIO-CORE: Bio-inspired Self-organising Mechanisms Core (2012) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
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
VPN - Client-server object-oriented virtual plant modeling tool (2012) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (2011) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
Coordinating Spatially-Situated Pervasive Service Ecosystems (WOA 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Programming Coordination Laws of Artifacts in CArtAgO (CM 2011@SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
Reasoning with Categories for Trusting Strangers: a Cognitive Architecture () — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
JaCa-Android: an agent-based platform for building smart mobile applications () — Andrea Santi, Alessandro Ricci
Description Spaces with Fuzziness (CM 2011@SAC 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
Facing Openness with Socio Cognitive Trust and Categories (2011) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
An interaction-oriented agent framework for open environments (2011) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
Processes Engineering and AOSE (2011) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Model-driven communications and collaborative software development () — Antonio Natali
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case () — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
Exploiting the JaCaMo framework for realising an adaptive room governance application () — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs () — Stefan J. Witwicki, Edmund H. Durfee
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems () — Clare Dixon, Alan Winfield, Micheal Fisher
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project () — Alessandro Ricci, Andrea Santi
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
A Coordination Approach to Adaptive Pervasive Service Ecosystems () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (2011) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
BDI Agents with Objectives and Preferences (DALT 2010@AAMAS 2010) — Aniruddha Dasgupta, Aditya K. Ghose
A Simulation Framework for Pervasive Services Ecosystems (WOA 2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Sara Montagna, Mirko Viroli
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (AAMAS 2011) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
Software Engineering for Self-Organizing Systems () — H. Van Dyke Parunak, Sven A. Brueckner
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming () — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions () — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
Deep diving into BitTorrent locality () — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010) — Andrea Santi, Marco Guidi, Alessandro Ricci
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments () — Alessandro Ricci, Mirko Viroli, Michele Piunti
Chemical-Inspired Self-Composition of Competing Services (SAC 2010) — Mirko Viroli, Matteo Casadei
Simulation and Analysis of Distributed Systems in Klaim () — Francesco Calzolai, Michele Loreti
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (FIPA-DPDF@MALLOW 2010) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development () — Andrea Santi
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
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
Formal Verification of Probabilistic Swarm Behaviours () — Savas Konur, Clare Dixon, Michael Fisher
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (FIPA-DPDF@MALLOW 2010) — Sergio Esparcia, Estefania Argente, Vicent Botti
Engineering Self-Coordinating Software Intensive Systems () — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Basis Set of Operators for Space-Time Computations () — Jacob Beal
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments () — Alessandro Ricci, Andrea Santi, Michele Piunti
Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010) — Ambra Molesini, Andrea Omicini
Applying Process Document Standarization to INGENIAS (FIPA-DPDF@MALLOW 2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Programming Open Systems with Agents, Environments and Organizations () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Transitivity in Trust. A Discussed Property (WOA 2010) — Rino Falcone, Cristiano Castelfranchi
Using Domain Specific Languages for platform-based software development: The case of Android () — Antonio Natali, Ambra Molesini
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (2010) — Sara Montagna, Nicola Donati, Andrea Omicini
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments () — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (FIPA-DPDF@MALLOW 2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
Interacting with Virtual Plants: a Client-Server Approach (2010) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Developing Web Client Applications with JaCa-Web (WOA 2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci
Exploring the Boundaries: When Method Fragmentation is not Convenient (FIPA-DPDF@MALLOW 2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (2010) — Bo Sun Conghua Zhou, Liu Zhifeng
Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
The O-MaSE Process: a Standard View (FIPA-DPDF@MALLOW 2010) — Juan C. Garcia-Ojeda, Scott DeLoach
Simulate plants: a client-server graphic approach (2010) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
A Framework for Modelling and Simulating Networks of Cells (2010) — Sara Montagna, Mirko Viroli
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010@SAC 2010) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications () — Mattia Minotti, Andrea Santi, Alessandro Ricci
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications () — Andrea Santi, Guidi Marco, Alessandro Ricci
Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems () — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) () — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (WOA 2010) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
Gaia4E: A Tool Supporting the Design of MAS using Gaia (2009) — Luca Cernuzzi, Franco Zambonelli
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments () — Michele Piunti, Alessandro Ricci
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Manipulation implicite d'une organisation multiagent via l'environnement () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A computational framework for modelling multicellular biochemistry (2009) — Sara Montagna, Mirko Viroli
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments () — Alessandro Ricci, Michele Piunti
Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (2009) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications () — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
Knowledge-based coordination with a reliable semantic subscription mechanism () — Martin Murth, Eva Kuhn
Interactive Graphical Maps for Infocenter via Model to Model Transformation () — Enrico Oliva
Empirical comparison of methods for information systems development according to SOA () — Philipp Offermann, Udo Bub
A SOA Based Software Engineering Design Approach in Service Engineering () — Weider D. Yu, Chia H. Ong
Embodied Organisations in MAS Environments () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009@SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments () — Michele Piunti, Andrea Santi, Alessandro Ricci
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
Modelling Periodic Data Dissemination in Wireless Sensor Networks () — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts () — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Parameter tuning of a stochastic biological simulator by metaheuristics (2009) — Sara Montagna, Andrea Roli
Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
A Process Model of Actin Polymerisation () — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA () — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Using Jason, MOISE, and CArtAgO to develop a team of cowboys () — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Biochemical Tuple Spaces for Self-Organising Coordination () — Mirko Viroli, Matteo Casadei
Formalising the Environment in MAS Programming: a Formal Model () — Alessandro Ricci, Mirko Viroli, Michele Piunti
A MAS Metamodel-Driven Approach to Process Fragments Selection (2009) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
Introducing Relevance Awareness in BDI Agents () — Emiliano Lorini, Michele Piunti
A Goal-Oriented Approach for Modelling Self-organising MAS (ESAW 2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia () — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces () — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Introducing Relevance Awareness in BDI Agents () — Emiliano Lorini, Michele Piunti
A Semantic eScience Portal for International Scientific and Academic Cooperation (2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
Embodying Organisations in Multi-Agent Work Environments (2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (2009) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
An Agent-based Application for Home Intelligence (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009) — Michele Piunti, Alessandro Ricci, Andrea Santi
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks () — Matteo Casadei, Mirko Viroli
Model-driven Generation of Graphical Maps for e-Contents (2008) — Antonio Natali, Enrico Oliva, Cristina Bonanni
Toward a Framework for Collaborative Learning based on Agent-based Technologies (2008) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus () — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Designing a Development Environment for Logic and Multi-Paradigm Programming (2008) — Giulio Piancastelli, Enrico Denti
Introduction to AOSE Tools for the Conference Management System () — Lin Padgham, Michael Luck
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (2008) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis () — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition () — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets () — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008@WET ICE 2008) — Matteo Casadei, Andrea Omicini
A Logic Programming Model for Web Resources (2008) — Giulio Piancastelli, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications () — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Simulation Methods in Systems Biology () — Daniel T. Gillespie
Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Agent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini
Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms () — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems () — Mario Bravetti
Co-Argumentation Artifact for Agent Societies (2008) — Enrico Oliva, Peter McBurney, Andrea Omicini
Introducing Join-Computing (2008) — Giacomo Cabri
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008@WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-oriented AmI Engineering (2008) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Fast self-healing gradients. () — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (2008) — Sara Montagna, Andrea Omicini, Marco Alberti
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study () — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
The Prometheus Design Tool – A Conference Management System Case Study () — Lin Padgham, John Thangarajah, Michael Winikoff
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments () — Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (EUMAS 2008) — Michele Piunti, Alessandro Ricci
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems () — Daniel Yamins, Radhika Nagpal
An experimental environment for teaching Java Security (2008) — Anna Riccioni, Enrico Denti, Roberto Laschi
Hierarchical Modeling for Computational Biology () — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS () — Michele Piunti, Alessandro Ricci
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking () — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Integrating Java and Prolog through Generic Methods and Type Inference (2008) — Maurizio Cimadamore, Mirko Viroli
Arguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (2008) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments () — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
SPEM on Test: the SODA Case Study (2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
Methodologies for Designing Agent Societies (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (2008) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
The BlenXLanguage: A Tutorial () — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (IDC 2008) — Franco Zambonelli, Mirko Viroli
Tool-Supported Development with Tropos: The Conference Management System Case Study () — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Agent Roles: from Methodologies to Infrastructures (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
A Multi-Theory Logic Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring () — Florian Fuchs, Michael Berger
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli
Using Eclipse in Building Model-driven e-Learning Supports (2007) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
Formal ReSpecT in the A&A Perspective (2007) — Andrea Omicini
Evaluating Procedural Alternatives. A Case Study in E-Voting (2007) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces () — Mirko Viroli, Matteo Casadei, Luca Gardelli
Measurement and Control of Self-organised Behaviour in Robot Swarms () — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Extrospection: Agents Reasoning About the Environment () — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (2007) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates () — George Jiri Mejtsky
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case () — Matteo Casadei, Luca Gardelli, Mirko Viroli
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Invited Talk: A Process Algebra Master Equation () — Luca Cardelli
On the Problem of Over-clustering in Tuple-based Coordination Systems () — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology () — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
Large Language Models in Machine Translation (2007) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
Practical Extensions in Agent Programming Languages () — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Service-Oriented Agent Methodologies (WET ICE 2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
An Agent-Oriented Programming Model for SOA & Web Services (2007) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
On the Interplay of Crosscutting and MAS-Specific Styles () — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Experiences in Automated Workflows using Dialectical Argumentation (2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Co-Argumentation Artifact for Agent Societies (2007) — Enrico Oliva, Peter McBurney, Andrea Omicini
Towards Integrating Agents with Objects Tracing Systems in AmI (EUMAS 2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2007) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (2007) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
Exploiting the Environment for Coordinating Agent Intentions () — Tom Holvoet, Paul Valckenaers
Context-Dependent Evaluation Methodology for Open Source Software () — Michele Cabano, Cesare Monti, Giulio Piancastelli
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Survey of Service Oriented Development Methodologies () — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java () — Alessandro Ricci, Mirko Viroli
Governing Environments for Agent-Based Traffic Simulations (CEEMAS 2007) — Michael Schumacher, Laurent Grangier, Radu Jurca
Supporting Requirements Analysis in Tropos: a Planning-Based Approach (2007) — Volha Bryl, Paolo Giorgini, John Mylopoulos
Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
vLab: an Eclipse-based Virtual Laboratory (2007) — Anna Riccioni, Enrico Denti
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (2007) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
Auction Negotiation for Mobile Rideshare Service (2007) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Building Smart Environments as Agent Workspaces (CoMA 2007@WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Geo-Linda: a Geometry Aware Distributed Tuple Space () — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (WOA 2007) — Alessandro Ricci, Enrico Denti
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design () — Olaf Zimmermann, Jana Koehler, Leymann Frank
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
The Fading Concept in Tuple-Space Systems () — Ronaldo Menezes, Alan Wood
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (2006) — L. Robert Pokorny, C. R. Ramakrishnan
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (2006) — Sara Montagna, Alessandro Ricci, Andrea Omicini
A Design Theory for Pervasive Information Systems () — Panos E. Kourouthanassis, George M. Giaglis
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
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 Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Zooming Multi-Agent Systems (2006) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
A Framework for Engineering Interactions in Java-based Component Systems (2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
The MHS Methodology: Analysis and Design for Context-Aware Systems () — Evi Syukur, Seng Wai Loke
Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents () — Charles M. Macal, Michael J. North
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source () — Michele Cabano, Cesare Monti, Giulio Piancastelli
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (2006) — Rafael H. Bordini, Jomi F. Hübner
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology () — Luca Cernuzzi, Franco Zambonelli
SPI - A Role for Method Engineering () — Brian Henderson-Sellers
Verification of Multi-agent Systems Via Bounded Model Checking () — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
OWL-S for Describing Artifacts (EUMAS 2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
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
Formal ReSpecT in the A&A Perspective (2006) — Andrea Omicini
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications () — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Web Services Implementation Methodology for SOA Application () — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer () — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
An agent oriented tool for method engineering (EUMAS 2008) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
A Survey of Environments and Mechanisms for Human-Human Stigmergy (E4MAS 2005) — H. Van Dyke Parunak
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
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
Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (2006) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
More Principled Design of Pervasive Computing Systems () — Simon Dobson, Paddy Nixon
Programming Stigmergic Coordination with the TOTA Middleware () — Marco Mamei, Franco Zambonelli
Agent Interaction Semantics by Timed Operating Instructions () — Mirko Viroli, Alessandro Ricci
Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (CEEMAS 2005) — Brian Henderson-Sellers
An Agent-Oriented Conceptual Framework for Systems Biology (2005) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005) — Ambra Molesini, Enrico Denti, Andrea Omicini
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware () — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
Probabilistic Linda-based Coordination Languages () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Coordination and Composition in Multi-agent Systems () — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Effective Tool Use in a Habile Agent () — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
“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
Environment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Drago: Distributed reasoning architecture for the semantic web () — Luciano Serafini, Andrei Tamilin
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
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (CEEMAS 2005) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts () — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Distributed Instance Retrieval in Heterogeneous Ontologies () — Luciano Serafini, Andrei Tamilin
Developing MAS Solutions with Gaia and AUML () — Luca Cernuzzi, Franco Zambonelli
Verifying Multi-agent Systems via Unbounded Model Checking () — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Composition of a New Process to Meet Agile Needs Using Method Engineering (2005) — Massimo Cossentino, Valeria Seidita
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda () — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
A Trust Analysis Methodology for Pervasive Computing Systems () — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
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
Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 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 (WOA 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Towards CSpaces: A New Perspective for the Semantic Web () — Francisco Martín-Recuerda
Experiencing AUML in the GAIA Methodology () — Luca Cernuzzi, Franco Zambonelli
A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
sTuples: Semantic Tuple Spaces () — Deepali Khushraj, Ora Lassila, Timothy W. Finin
Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004) — Alessandro Ricci, Andrea Omicini
sTuples: Semantic Tuple Spaces () — Deepali Khushraj, Ora Lassila, Tim Finin
From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools () — Andrei Borshchev, Alexei Filippov
Paradigm and Software Engineering () — Erek Göktürk, M. Naci Akkøk
A Semantics for the Interaction of Agents with Coordination Artifacts (2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
Verifiable Multi-agent Programs () — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs () — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
A Programming Language for Cognitive Agents: Goal Directed 3APL () — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (2004) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
MAS as Complex Systems: A View on the Role of Declarative Approaches (DALT 2003@AAMAS 2003) — Andrea Omicini, Franco Zambonelli
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Context: From Theory to Practice (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems () — Ivana Gungui, Viviana Mascardi
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware () — Marco Mamei, Franco Zambonelli
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
C@sa: Intelligent Home Control and Simulation (2004) — Berardina De Carolis, Giovanni Cozzolongo
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information () — Dieter Fensel
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model () — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic KLAIM () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
An Agent-oriented Conceptual Framework for Biological Systems Simulation (2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Verifying Communicating Agents by Model Checking in a Temporal Action Logic () — Laura Giordano, Alberto Martelli, Camilla Schwind
Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
Towards Seamless Agent Middleware (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Giovanni Rimassa
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (ESAW 2003) — Andrea Omicini, Alessandro Ricci
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin
Using Swarm Intelligence in Linda Systems (ESAW 2003) — Robert Tolksdorf, Ronaldo Menezes
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (ESAW 2003) — Enrico Denti, Alessandro Ricci, Rossella Rubino
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
MavHome: An Agent-based Smart Home () — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
Learning the Sequential Coordinated Behavior of Teams from Observations () — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (ESAW 2002) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
Adaptiveness in Linda-Based Coordination Models () — Ronaldo Menezes, Robert Tolksdorf
Supporting Coordination in Open Computational Systems with TuCSoN (TAPOCS 2003@WET ICE 2003) — Alessandro Ricci, Andrea Omicini
Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Task-Oriented Engineering of Coordinated Software Systems (2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Modeling Agents and their Environment () — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Objective versus Subjective Coordination in the Engineering of Agent Systems (2003) — Andrea Omicini, Sascha Ossowski
Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
A software framework for matchmaking based on semantic web technology () — Lei Li, Ian Horrocks
Quantitative Relations and Approximate Process Equivalences () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Signs of a Revolution in Computer Science and Software Engineering (ESAW 2002) — Franco Zambonelli, H. Van Dyke Parunak
Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Towards a Methodology for Coordination Mechanism Selection in Open Systems (ESAW 2002) — Simon Miles, Mike Joy, Michael Luck
Tuple-based Coordination Models in Event-based Scenarios () — Mirko Viroli, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Agent-Based Modeling: Methods and Techniques for Simulating Human Systems () — Eric Bonabeau
A Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
A Specification Language for Agents Observable Behaviour (2002) — 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
Agent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea Omicini
The TROPOS Analysis Process as Graph Transformation System () — Paolo Bresciani, Paolo Giorgini
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (AAMAS 2002) — H. van Dyke Parunak, Sven Brueckner, John Sauter
Agent-based approach for software development process simulation () — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002@ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Agile development of a clinical multi-agent system: An Extreme Programming case study () — Holger Knublauch, Holger Koeth, Thomas Rose
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology () — Anna Perini, Angelo Susi, Fausto Giunchiglia
Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Extreme Programming of Multi-Agent Systems (AAMAS 2002) — Holger Knublauch
Coordination Tools for the Development of Agent-based Systems (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Linear Embedding for a Quantitative Comparison of Language Expressiveness () — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources () — Alex Borgida, Luciano Serafini
Model Checking Multi-Agent Systems with MABLE () — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2001) — Andrea Omicini
Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini
Designing Agent-Oriented Systems by Analysing Agent Interactions () — Simon Miles, Mike Joy, Michael Luck
Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Assembly Process Model for Method Engineering () — Jolita Ralyté, Colette Rolland
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
An Approach for Method Reengineering () — Jolita Ralyté, Colette Rolland
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2000) — Andrea Omicini
Context-Dependency in Internet-Agent Coordination (ESAW'00@ECAI 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
EasyLiving: Technologies for Intelligent Environments () — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
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
Formal ReSpecT (2000) — Andrea Omicini, Enrico Denti
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea Omicini
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini
Ruling Agent Motion in Structured Environments (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Persistent Turing Machines as a Model of Interactive Computation () — Dina Q. Goldin
Hybrid Coordination Models for Handling Information Exchange among Internet Agents (2000) — Andrea Omicini
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Mind the Gap! Towards a unified view of CSCW () — Kjeld Schmidt, Carla Simone
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999) — Andrea Omicini
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
A Methodology for Agent-Oriented Analysis and Design () — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Building Mobile Agent Applications in HiMAT (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Adopting an Object-Oriented Data Model in Inductive Logic Programming (1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Engineering Multi-Agent Systems in LuCe (1999) — Enrico Denti, Andrea Omicini
The Explorable Topology: Supporting Agent Autonomy on the Internet (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
The UMASS Intelligent Home Project () — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
Coinductive Models of Finite Computing Agents () — Peter Wegner, Dina Goldin
On the Expressiveness of Coordination Models () — Antonio Brogi, Jean-Marie Jacquet
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
The HiMAT Model for Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Comparing Coordination Models based on Shared Distributed Replicated Data (CM @ SAC 1999@SAC 1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Distributed Cognition, Coordination and Environment Design () — David Kirsh
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999@SAC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999@SAC 1999) — Andrea Omicini, Franco Zambonelli
A Fuzzy Description Logic () — Umberto Straccia
A Comprehensive View of Process Engineering () — Colette Rolland
Towards a Hierarchy of Negative Test Operators for Generative Communication () — Gianluigi Zavattaro
Designing for the Dynamics of Cooperative Work Activities () — Jakob Bardram
A Formal Specification of dMARS (1998) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
Coordination of Mobile Agents for Information Systems: the TuCSoN Model (1998) — Andrea Omicini, Franco Zambonelli
Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (1998) — Cristiano Castelfranchi, Rino Falcone
On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998@SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
TuCSoN: a Coordination model for Mobile Information Agents (IIIS-98@CAiSE'98) — Andrea Omicini, Franco Zambonelli
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (1997) — Leon J. Osterweil
Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Issues in Agent-Based Software Engineering () — Michael J. Wooldridge
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
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
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (1996) — Anand S. Rao
An Object-Oriented Approach to Planning (1996) — Umberto Fonda, Antonio Natali, Andrea Omicini
An Extensible Framework for the Development of Coordinated Applications (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
A Software Environment for Concurrent Coordinated Programming () — Anne-Alexandra Holzbacher
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents () — Stan Franklin, Art Graesser
Integration of object-oriented analysis and performance simulation for engineering computer-based systems () — Richard Goldgar, Ramon D. Acosta
Law-Governed Linda as a Coordination Model () — Naftaly H. Minsky, Jerrold Leichter
Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali
Guarantees for Autonomy in Cognitive Agent Architecture (1995) — Cristiano Castelfranchi
BDI Agents: From Theory to Practice (1995) — Anand S. Rao, Michael P. Georgeff
A Petri Net Semantics for pi-Calculus () — Nadia Busi, Roberto Gorrieri
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
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
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
Objects with State in CSM (1993) — Antonio Natali, Andrea Omicini
Foundations for Interaction: The Dependence Theory () — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
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
An Abstract Architecture for Rational Agents () — Anand S. Rao, Michael P. Georgeff
Parallel Logic Programming using the Linda Model of Computation () — Paolo Ciancarini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Barbed Bisimulation () — Robin Milner, Davide Sangiorgi
Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini
The Concept of Activity as a Basic Unit of Analysis for CSCW Research () — Kari Kuutti
Intelligence Without Reason () — Rodney A. Brooks
Separating Concurrent Languages with Categories of Language Embeddings () — Ehud Shapiro
Generalizing Term Subsumption Languages to Fuzzy Logic () — John Yen
Modeling Rational Agents within a BDI Architecture () — Anand S. Rao, Michael P. Georgeff
Equivalences, congruences, and complete axiomatizations for probabilistic processes (1990) — Chi-Chang Jou, Scott A. Smolka
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (1990) — Ivan Christoff
Software Processes are Software too () — Leon J. Osterweil
Reactive Reasoning and Planning () — Michael P. Georgeff, Amy L. Lansky
The consensus problem in unreliable distributed systems (a brief survey) () — Michael J Fischer
Distributed Commit With Bounded Waiting (1982) — Danny Dolev, H. Raymond Strong

752 papers in proceedings • top • index • bottom

papers in proceedings / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Cristian Cosci • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini