Per Sort

Per Sort

534 papers in proceedings  /  2005–2023

papers in proceedings
Roberta Calegari, Federico Sabbatini
The PSyKE Technology for Trustworthy Artificial Intelligence
AIxIA 2022. Lecture Notes in Computer Science 13796, March 2023
Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Multi-Agent Cooperative Argumentation in Arg2P
AIxIA 2022. Lecture Notes in Computer Science 13796, March 2023
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE
EXTRAAMAS 2022. Lecture Notes in Computer Science 13283, 2022
Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
Arguing About the Existence of Conflicts
Computational Models of Argument. Frontiers in Artificial Intelligence and Applications 353, 2022
Federico Sabbatini, Roberta Calegari
Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
XAI-FIN-2022 - Second Workshop on Explainable AI in Finance @ICAIF 2022, 2 November 2022
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
A view to a KILL: Knowledge Injection via Lambda Layer
WOA 2022. CEUR Workshop Proceedings 3261, November 2022
Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Probabilistic logic programming in 2P-Kt
AIxIA 2021. CEUR Workshop Proceedings 3078, January 2022
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of Persuasion in Meta-argumentation
AIxIA 2021 – Advances in Artificial Intelligence. Lecture Notes in Computer Science 13196, 2022
Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Modular logic argumentation in Arg-tuProlog
AIxIA 2021. Lecture Notes in Computer Science, July 2022
Federico Sabbatini, Roberta Calegari
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
KR 2022, August 2022
Joseph Giovanelli, Giuseppe Pisano
Towards Human-centric AutoML via Logic and Argumentation
DATAPLAT 2022, 2022
Andrea Agiollo, Andrea Omicini
GNN2GNN: Graph Neural Networks to Generate Neural Networks
UAI 2022. Proceedings of Machine Learning Research 180, August 2022
Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
Logic Programming library for Machine Learning: API design and prototype
CILC 2022. CEUR Workshop Proceedings 3204, 2022
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model
WOA 2022. CEUR Workshop Proceedings 3261, November 2022
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors
EXTRAAMAS 2022. Lecture Notes in Computer Science 13283, 2022
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
Taking stock of available technologies for compliance checking on first-order knowledge
CILC 2022. AI*IA Series 3204, 2022
Federico Sabbatini, Roberta Calegari
Clustering-Based Approaches for Symbolic Knowledge Extraction
XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation, July 2022
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
KINS: Knowledge Injection via Network Structuring
CILC 2022. CEUR Workshop Proceedings 3204, 2022
Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection
WOA 2022. CEUR Workshop Proceedings 3261, November 2022
Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, July 2021
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, July 2021
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
A Mechanism for Reasoning over Defeasible Preferences in Arg2P
CILC 2021. CEUR Workshop Proceedings, November 2021
Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
Towards Explainable Visionary Agents: License to Dare and Imagine
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021
Roberta Calegari, Giovanni Sartor
Burdens of Persuasion and Standards of Proof in Structured Argumentation
Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22. Lecture Notes in Computer Science 13040, 2021
Danilo Pianini, Alessandro Neri
Breaking down monoliths with Microservices and DevOps: an industrial experience report
2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2021
Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Towards cooperative argumentation for MAS: An actor-based approach
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Explainability through argumentation in logic programming
Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021). CEUR Workshop Proceedings 2970, September 2021
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of persuasion in argumentation: A meta-argumentation approach
AIxIA 2021. CEUR Workshop Proceedings 3086, November 2021
Roberta Calegari, Andrea Omicini, Giovanni Sartor
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
AIxIA 2020. Lecture Notes in Computer Science 12414, 2021
Roberta Calegari, Regis Riveret, Giovanni Sartor
The Burden of Persuasion in Structured Argumentation
ICAIL '21: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ICAIL '21, June 2021
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
JELIA 2021. Lecture Notes in Computer Science 12678, 2021
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
AAMAS 2021, May 2021
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
Angelo Croatti, Alessandro Ricci
Programming Agent-Based Mobile Apps: The JaCa-Android Framework
AAMAS 2021, 2021
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021
Stefano Mariani, Franco Zambonelli
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020), 2020
Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Neuro-symbolic Computation for XAI: Towards a Unified Model
WOA 2020. CEUR Workshop Proceedings 2706, October 2020
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Arg-tuProlog: A tuProlog-based argumentation framework
CILC 2020. CEUR Workshop Proceedings 2710, 13-15 October 2020
Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project
PAAMS'20, 2020
Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform
EMAS 2020, 2020
Roberta Calegari, Andrea Omicini, Giovanni Sartor
Computable Law as Argumentation-based MAS
WOA 2020. CEUR Workshop Proceedings 2706, October 2020
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination
Coordination Models and Languages, 2020
Angelo Croatti, Alessandro Ricci
From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities
EUMAS 2020, 2020
Angelo Croatti, Alessandro Ricci
The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices
PAAMS'20, 2020
Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI
AAMAS 2020, May 2020
Roberta Calegari, Giovanni Sartor
A Model for the Burden of Persuasion in Argumentation
JURIX 2020. Frontiers in Artificial Intelligence and Applications 334, 2020
Roberta Calegari, Giovanni Sartor
Burden of Persuasion in Argumentation
ICLP 2020. EPTCS, September 2020
Andrea Omicini
Not just for humans: Explanation for agent-to-agent communication
AIxIA 2020. CEUR Workshop Proceedings 2776, November 2020
Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Agent-Based Explanations in AI: Towards an Abstract Framework
EXTRAAMAS 2020. Lecture Notes in Computer Science 12175, 2020
Roberta Calegari, Andrea Omicini, Giovanni Sartor
Argumentation and Logic Programming for Explainable and Ethical AI
AIxIA 2020. CEUR Workshop Proceedings 2742, November 2020
Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Arg-tuProlog: a modular logic argumentation tool for PIL
JURIX 2020. Frontiers in Artificial Intelligence and Applications 334, 2020
Roberto Casadei, Mirko Viroli, Alessandro Ricci
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2020
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
BLOCKCHAIN'19. Advances in Intelligent Systems and Computing 1010, 2020
Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin
WOA 2020. CEUR Workshop Proceedings 2706, October 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
Language Models are Few-Shot Learners
Advances in Neural Information Processing Systems (NeurIPS 2020), 2020
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
ISOLA 2020. Lecture Notes in Computer Science 12477, October 2020
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
IEEE International Conference on Pervasive Computing and Communications  Workshops, PerCom Workshops 2019, 11-15 March 2019
Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Defeasible Systems in Legal Reasoning: A Comparative Assessment
JURIX 2019. Frontiers in Artificial Intelligence and Applications 322, 11-13 December 2019
Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
The 2019 Conference on Artificial Life, 2019
Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept
IDCS 2019. Lecture Notes in Computer Science 11874, October 2019
Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Communications in Computer and Information Science 1047, June 2019
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT
2019 IEEE International Conference on Services Computing (SCC), July 2019
Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
ViTALiSE: Virtual to Augmented Loop in Smart Environments
AAMAS 2019. AAMAS '19, 2019
Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards XMAS: eXplainability through Multi-Agent Systems
AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019
Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019
Michele Braccini, Sara Montagna, Andrea Roli
Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models
Artificial Life and Evolutionary Computation, 2019
Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling
13th International Conference on Distributed Smart Cameras (ICDSC2019), September 2019
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
PAAMS'19. Lecture Notes in Computer Science 11523, June 2019
Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap
IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination
Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case studies for a new IoT programming paradigm: Fluidware
AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming
IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Andrea Omicini, Roberta Calegari
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
MMAS 2018. Lecture Notes in Computer Science 11422, May 2019
Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
TuSoW: Tuple Spaces for Edge Computing
ICCCN 2019, 29 July–1 August 2019
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019
Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management
CBMS 2019, June 2019
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
IDCS 2019. Lecture Notes in Computer Science 11874, 10–12 October 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
On a Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019
Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
32th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2019), 2019
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus
Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Self-organising Coordination Regions: a Pattern for Edge Computing
Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
WOA 2019. CEUR Workshop Proceedings 2404, July 2019
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
GOODTECHS 2018, November 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
WOA 2018. CEUR Workshop Proceedings 2215, 29–30 June 2018
Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives
WOA 2018. CEUR Workshop Proceedings 2215, June 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Globe-IoT 2018, 17-20 April 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018 IEEE Real-Time Systems Symposium (RTSS), December 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Angelo Croatti, Alessandro Ricci
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
BCT4MAS 2018, December 2018
Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
ALP4IoT2017. Lecture Notes in Computer Science 11176, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Distributed Speaking Objects: a Case for Massive Multiagent Systems
International Workshop on Massively Multi-Agent Systems, 2018
Angelo Croatti, Alessandro Ricci
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing
COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
Artificial Life and Evolutionary Computation, 2018
Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
WOA 2017. CEUR Workshop Proceedings 1867, June 2017
Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Towards Argumentation-based Recommendations for Personalised Patient Empowerment
Proceedings of the 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), August 2017
Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
A2HC 2017. Lecture Notes in Computer Science 10643, 2017
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Coordination Models and Languages. Lecture Notes in Computer Science 10319, 2017
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017. CEUR Workshop Proceedings 1867, June 2017
Roberta Calegari, Enrico Denti
Context Reasoning and Prediction in Smart Environments: the Home Manager case
SEIS @ KES-IIMSS-17. Smart Innovation, Systems and Technologies 76, 21-23 June 2017
Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
A2HC 2017. Lecture Notes in Computer Science 10685, 2017
Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
Preface
A2HC 2017. Lecture Notes in Computer Science 10685, 2017
Angelo Croatti, Alessandro Ricci
Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
WoT 2017: Proceedings of the Eighth International Workshop on the Web of Thing. WoT 2017, 2017
Sara Montagna, Michele Braccini, Andrea Roli
The impact of self-loops in random boolean network dynamics
WIVACE 2017 – Book of Abstracts, September 2017
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming the Interaction Space Effectively with ReSpecTX
Studies in Computational Intelligence 737, 2017
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT
ICNSC 2017, May 2017
Angelo Croatti, Alessando Ricci
Towards the Web of Augmented Things
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), April 2017
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Studies in Computational Intelligence 678, 2017
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017
Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Spiking Neural Networks as Timed Automata
ALP4IoT2017, 2017
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin
Attention Is All You Need
Advances in Neural Information Processing Systems (NIPS 2017), 2017
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Coordinating Distributed Speaking Objects
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), June 2017
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 2017
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Danilo Pianini, Jacob Beal, Mirko Viroli
Practical Aggregate Programming with Protelis
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, June 2016
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog
WOA 2016. CEUR Workshop Proceedings 1664, July 2016
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016
Roberta Calegari, Enrico Denti
The Butlers Framework for Socio-Technical Smart Spaces
INSCI 2016. Lecture Notes in Computer Science 9934, 12-14 September 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, September 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
COORDINATION 2016, 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016
Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
WOA 2016. CEUR Workshop Proceedings 1664, 29-30 July 2016
Angelo Croatti, Alessandro Ricci
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
AGERE! 2016, 2016
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016
Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
INSCI 2016. Lecture Notes in Computer Science 9934, 12-14 September 2016
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations
CILC 2016. CEUR Workshop Proceedings 1645, 20-22 June 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
SASO 2016, 2016
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
Communications in Computer and Information Science 584, 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
On Execution Platforms for Large-scale Aggregate Computing
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp '16, 2016
Andrea Omicini, Franco Zambonelli
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems
UbiComp2016, 12-16 September 2016
Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
MABS 2015. Lecture Notes in Computer Science 9568, 15 March 2016
Stefano Mariani, Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
WOA 2016. CEUR Workshop Proceedings 1664, 29-30 July 2016
Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Lecture Notes in Computer Science 9700, 2016
Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap
WOA 2016. CEUR Workshop Proceedings 1664, 29-30 July 2016
Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Electronic Proceedings in Theoretical Computer Science 217, 2016
Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala
1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016
Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
Studies in Computational Intelligence 570, 2015
Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
CSCWD 2015, 6-8 May 2015
Sara Montagna, Andrea Omicini, Danilo Pianini
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation
AAMAS 2015, 4-8 May 2015
Andrea Omicini, Stefano Mariani
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
E4MAS 2014. Lecture Notes in Computer Science 9068, November 2015
Danilo Pianini, Mirko Viroli, Jacob Beal
Protelis: Practical Aggregate Programming
SAC 2015, 2015
Mirko Viroli, Alessandro Ricci
Towards agent aggregates: perspectives and challenges
EMAS 2015, 2015
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Smart Augmented Fields for Emergency Operations
Procedia Computer Science 63, September 2015
Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio
Neural Machine Translation by Jointly Learning to Align and Translate
3rd International Conference on Learning Representations (ICLR 2015), May 2015
Roberta Calegari, Enrico Denti, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog
AI*IA 2015 DC . CEUR Workshop Proceedings 1485, September 2015
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
Communications in Computer and Information Science 553, 2015
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
EMAS 2015, 2015
Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
MABS 2015, May 2015
Stefano Mariani, Andrea Omicini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
AI*IA 2015. Lecture Notes in Computer Science 9336, 23-25 September 2015
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Computational Fields Meet Augmented Reality: Perspectives and Challenges
2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, September 2015
Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio
Show, Attend and Tell: Neural Image Caption Generation with Visual Attention
Proceedings of the 32nd International Conference on International Conference on Machine Learning (ICML’15), 2015
Andrea Omicini, Franco Zambonelli
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
WOA 2015. CEUR Workshop Proceedings 1382, 17-19 June 2015
Enrico Denti, Roberta Calegari
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
ICAART 2015, January 2015
Thang Luong, Hieu Pham, Christopher D. Manning
Effective Approaches to Attention-based Neural Machine Translation
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), September 2015
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
FORTE 2015. Lecture Notes in Computer Science 9039, 2015
Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
COORDINATION 2015. Lecture Notes in Computer Science 9037, 2-4 June 2015
Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
Knowledge Discovery, Knowledge Engineering and Knowledge Management. Communications in Computer and Information Science 553, 2015
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
PRIMA 2015. Lecture Notes in Computer Science 9387, 2015
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015
Mirko Viroli
Towards a Unified Model of Spatial Computing
7th International Spatial Computing Workshop (SCW 2014), 6 May 2014
Giovanni Sartor, Andrea Omicini
The Autonomy of Automated Systems
AWS-LEP 2014, April 2014
Stefano Mariani, Andrea Omicini
TuCSoN Coordination for MAS Situatedness: Towards a Methodology
WOA 2014. CEUR Workshop Proceedings 1260, September 2014
Jacob Beal, Mirko Viroli
Building Blocks for Aggregate Programming of Self-Organising Applications
Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Stefano Mariani
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates
SASO 2014. Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, September 2014
Stefano Mariani, Andrea Omicini
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
IDCS 2014. Lecture Notes in Computer Science 8729, September 2014
Danilo Pianini, Stefano Sebastio, Andrea Vandin
Distributed statistical analysis of complex systems modeled through a chemical metaphor
High Performance Computing Simulation (HPCS), 2014 International Conference on, 2014
Mirko Viroli, Ferruccio Damiani
A Calculus of Self-stabilising Computational Fields
COORDINATION 2014. Lecture Notes in Computer Science 8459, 2014
Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
International Conference on Knowledge Discovery and Information Retrieval (KDIR 2015), 2014
Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Coordination-aware Elasticity
UCC 2014, December 2014
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Cross-domain Text Classification through Iterative Refining of Target Categories Representations
Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval, 2014
Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations
Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval, 2014
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
High Performance Computing Simulation (HPCS), 2014 International Conference on, July 2014
Enrico Denti, Roberta Calegari, Marco Prandini
Extending a Smart Home Multi-Agent System with Role-Based Access Control
ITS 2014, 10-12 December 2014
Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Communications in Computer and Information Science 393, 2013
Stefano Mariani
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
WOA 2013. CEUR Workshop Proceedings 1099, 2-3 December 2013
Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
SCW 2013, 6 May 2013
Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives
WOA 2013. CEUR Workshop Proceedings 1099, December 2013
Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems
Studies in Computational Intelligence 446, 2013
Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
Studies in Computational Intelligence 446, 2013
Stefano Mariani, Andrea Omicini
Space-aware Coordination in ReSpecT
WOA 2013. CEUR Workshop Proceedings 1099, December 2013
Alessandro Ricci, Andrea Santi
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach
2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE! 2013), 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
CM 2013, March 2013
Andrea Omicini, Pierluigi Contucci
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes
ICCCI 2013. Lecture Notes in Computer Science 8083, 2013
Andrea Omicini, Stefano Mariani
Coordination for Situated MAS: Towards an Event-driven Architecture
PNSE'13. CEUR Workshop Proceedings 989, 24–25 June 2013
Stefano Mariani, Andrea Omicini
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
SCW 2013, May 2013
Christoph Dorn, Richard N Taylor
Coupling software architecture and human architecture for collaboration-aware system adaptation
Proceedings of the 2013 International Conference on Software Engineering, 2013
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Domain Independent Text Categorization
XIII Conference of the Italian Association for Artificial Intelligence (AI*IA), 2013
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
ASENSIS 2012, April 2013
Stefano Mariani, Andrea Omicini
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages
CM 2013, 18-22 March 2013
Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
Predicting Social Density in Mass Events to Prevent Crowd Disasters.
SocInfo2013. Lecture Notes in Computer Science 8238, 2013
Stefano Mariani, Andrea Omicini
Probabilistic Modular Embedding for Stochastic Coordinated Systems
COORDINATION 2013. Lecture Notes in Computer Science 7890, June 2013
Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
JAWS 2013. Lecture Notes in Computer Science 8076, 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013. Lecture Notes in Computer Science 8245, December 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013, 6-7 May 2013
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, April 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Self-Organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, April 2013
Sara Montagna, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
SCW 2013, 6 May 2013
Stefano Mariani, Andrea Omicini
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
SOCIAL:PATH @ AISB 2013, March 2013
Christoph Dorn, Richard N Taylor
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications
Web Information Systems Engineering – WISE 2012, 2012
Andrea Santi, Alessandro Ricci
Programming Distributed Multi-Agent Systems in simpAL
Proceedings of 13° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2012), 2012
José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions
ASENSIS 2012, 2012
Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
VPN - Client-server object-oriented virtual plant modeling tool
2012 IEEE 4th International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications, 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012
Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach
SASO 2012, 2012
Alessandro Ricci, Andrea Santi
Typing Multi-Agent Programs in simpAL
Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'12), 2012
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
BIO-CORE: Bio-inspired Self-organising Mechanisms Core
Bio-Inspired Models of Networks, Information, and Computing Systems. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 103, 2012
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
WOA 2012, 12 September 2012
Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems
Workshop on Spatial Computing, June 2012
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Self-organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, 10 September 2012
Mirko Viroli, Danilo Pianini, Jacob Beal
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Coordination Models and Languages. LNCS 7274, June 2012
Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
ASENSIS 2012, 10 September 2012
Andrea Santi, Alessandro Ricci
An Eclipse-based IDE for Agent-Oriented Programming in simpAL
Proc. of The Seventh Workshop of the Italian Eclipse Community, 2012
Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
SASO 2012, 2012
Kirstin Peters, Uwe Nestmann
Is It a “Good” Encoding of Mixed Choice?
Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science 7213, 2012
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
CM 2012, 26-30 March 2012
Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems 
Workshop on Spatial Computing, 2012
Stefano Mariani, Andrea Omicini
Molecules of Knowledge: A Novel Perspective over Knowledge Management
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence. CEUR Workshop Proceedings 926, 15 June 2012
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
WOA 2012, 12 September 2012
Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach
ASENSIS 2012, September 2012
Francesca Toni, Paolo Torroni
Bottom-Up Argumentation
Theorie and Applications of Formal Argumentation. Lecture Notes in Computer Science 7132, 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
SAC 2012, 26-30 March 2012
Alessandro Ricci, Andrea Santi
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions. AGERE! '12, 2012
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012). Electronic Proceedings in Theoretical Computer Science 91, 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
ASENSIS 2012, 10 September 2012
Danilo Pianini, Mirko Viroli, Sara Montagna
A Simulation Framework for Pervasive Services Ecosystems
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Stefan J. Witwicki, Edmund H. Durfee
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011
Elena Nardini, Andrea Omicini, Mirko Viroli
Description Spaces with Fuzziness
CM 2011, March 2011
Andrea Santi, Alessandro Ricci
JaCa-Android: an agent-based platform for building smart mobile applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, \& VMIL'11, 2011
Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
23rd International Conference on Advanced Information Systems Engineering (CAiSE'11), 2011
H. Van Dyke Parunak, Sven A. Brueckner
Software Engineering for Self-Organizing Systems
12th International Workshop on Agent-Oriented Software Engineering (AOSE 2011), 2 May 2011
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Facing Openness with Socio Cognitive Trust and Categories
Twenty Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011
Mirko Viroli, Jacob Beal, Matteo Casadei
Core Operational Semantics of Proto
SAC 2011, 21–25 March 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Coordinating Spatially-Situated Pervasive Service Ecosystems
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 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
Self-aware Pervasive Service Ecosystems
Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11). Procedia Computer Science 7, May 2011
Alessandro Ricci, Andrea Santi
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11, 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011), 27-29 April 2011
Antonio Natali
Model-driven communications and collaborative software development
Proceedings of the 6th Workshop of the Italian Eclipse Community, 2011
Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Processes Engineering and AOSE
Agent-Oriented Software Engineering X. Lecture Notes in Computer Science 6038, 2011
Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Exploiting the JaCaMo framework for realising an adaptive room governance application
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, VMIL'11, 2011
Aniruddha Dasgupta, Aditya K. Ghose
BDI Agents with Objectives and Preferences
DALT 2010. Lecture Notes in Computer Science 6619, 2011
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Reasoning with Categories for Trusting  Strangers: a Cognitive Architecture  
Workshop TRUST in AGENTS SOCIETIES, 2011
Clare Dixon, Alan Winfield, Micheal Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
Towards Autonomous Robotic Systems. Lecture Notes in Computer Science 6856, 2011
Marco Sbaraglia, Mirko Viroli, Matteo Casadei
Programming Coordination Laws of Artifacts in CArtAgO
CM 2011, March 2011
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
An interaction-oriented agent framework for open environments
AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
Proceedings of the 6th Workshop of the Italian Eclipse Community, 2011
Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
AAMAS 2011, May 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Coordination Approach to Adaptive Pervasive Service Ecosystems
2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), 7 October 2011
Ambra Molesini, Enrico Denti, Andrea Omicini
BaSi: Multi-Agent Based Simulation for Medieval Battles
WOA 2011. CEUR Workshop Proceedings 741, July 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), 3-8 October 2011
Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Deep diving into BitTorrent locality
INFOCOM, 2011
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems. Lecture Notes in Computer Science 6968, 29-30 September 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011
Danilo Pianini, Sara Montagna, Mirko Viroli
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011
Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, 30 August – 2 September 2010
Juan C. Garcia-Ojeda, Scott DeLoach
The O-MaSE Process: a Standard View
FIPA-DPDF. CEUR Workshop Proceedings 627, 2010
Giuliano Vitali, Eugenio Magnanini, Enrico Denti
Simulate plants: a client-server graphic approach
Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France, September 2010
Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours
Swarm Intelligence. LNCS 6234, 2010
Sara Montagna, Nicola Donati, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
Artificial Life XII, August 2010
Ambra Molesini, Enrico Denti, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
Communications in Computer and Information Science 67, 2010
Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
Building an Agent Methodology from Fragments: the MEnSA experience
AOMIP 2010, March 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
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
WOA 2010, 2010
Alessandro Ricci, Andrea Santi, Michele Piunti
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'10), 2010
Jacob Beal
A Basis Set of Operators for Space-Time Computations
Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW 2010), 2010
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments 
Programming Multi-Agent Systems. LNAI 5919, 2010
Andrea Santi
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
Proceedings of The 12th European Agent Systems Summer School (EASSS 2010), 2010
Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
Process Documentation Standardization: An Initial Evaluation
FIPA-DPDF. CEUR Workshop Proceedings 627, 30 August — 2 September 2010
Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Engineering Self-Coordinating Software Intensive Systems
FSE/SDP Workshop on Future of Software Engineering Research (FoSER '10), 2010
Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa  Sichman
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
FIPA-DPDF. CEUR Workshop Proceedings 627, 2010
Bo Sun Conghua Zhou, Liu Zhifeng
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
Artificial Intelligence and Computational Intelligence. Lecture Notes in Computer Science 6319, 2010
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
CM 2010, March 2010
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
WOA 2010. CEUR Workshop Proceedings 621, September 2010
Sara Montagna, Mirko Viroli
A Framework for Modelling and Simulating Networks of Cells
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) . Electronic Notes in Theoretical Computer Science Volume 268, 21 December 2010
Sara Montagna, Andrea Omicini, Alessandro Ricci
A Multiscale Agent-based Model of Morphogenesis in Biological Systems 
WOA 2010. CEUR Workshop Proceedings 621, September 2010
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Self Organization in Coordination Systems using a WordNet-based Ontology
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), September 2010
Andrea Santi, Marco Guidi, Alessandro Ricci
Exploiting Agent-Oriented Programming for Developing Android Applications
WOA 2010, 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
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
In Proceedings of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN 2010), 2010
Antonio Natali, Ambra Molesini
Using Domain Specific Languages for platform-based software development: The case of Android
The 5th Workshop of the Italian Eclipse Community (Eclipse-IT 2010), 30 September - 1 October 2010
Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
Risk Analysis and Deployment Security Issues in a Multi-Agent System
2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22-24 January 2010
Sergio Esparcia, Estefania Argente, Vicent Botti
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
FIPA-DPDF. CEUR Workshop Proceedings 627, 2010
Francesco Calzolai, Michele Loreti
Simulation and Analysis of Distributed Systems in Klaim
Coordination Models and Languages. LNCS 6116, 2010
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010
Andrea Santi, Guidi Marco, Alessandro Ricci
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010), 2010
Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
FIPA-DPDF. CEUR Workshop Proceedings 627, 2010
Ambra Molesini, Andrea Omicini
Documenting SODA: An Evaluation of the Process Documentation Template
WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010
Rino Falcone, Cristiano Castelfranchi
Transitivity in Trust. A Discussed Property
WOA 2010, 2010
Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Exploring the Boundaries: When Method Fragmentation is not Convenient
FIPA-DPDF. CEUR Workshop Proceedings 627, 2010
Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Applying Process Document Standarization to INGENIAS
FIPA-DPDF. CEUR Workshop Proceedings 627, 2010
Mirko Viroli, Matteo Casadei
Chemical-Inspired Self-Composition of Competing Services
SAC 2010, March 2010
Mattia Minotti, Andrea Santi, Alessandro Ricci
Developing Web Client Applications with JaCa-Web
WOA 2010, 2010
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Programming Open Systems with Agents, Environments and Organizations
11th Workshop Dagli Oggetti agli Agenti (WOA 2010), 2010
Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems
2010 ACM Symposium on Applied Computing (SAC 2010), 2010
Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Interacting with Virtual Plants: a Client-Server Approach
Proceedings of the 6th International Workshop on Functional-Structural Plant Models, September 2010
Mattia Minotti, Andrea Santi, Alessandro Ricci
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010), 2010
Sara Montagna, Mirko Viroli
A computational framework for modelling multicellular biochemistry
2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009
Michele Piunti, Alessandro Ricci
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Knowledge Representation for Agents and Multi-Agent Systems. Lecture Notes in Artificial Intelligence 5605, 2009
Bernhard Angerer, Branko Katalinic, Andrea Omicini
A Semantic eScience Portal for International Scientific and Academic Cooperation
Annals of DAAAM for 2009 & Proceedings of the 20th International DAAAM Symposium “Intelligent Manufacturing & Automation: Focus on Theory, Practice and Education”. Annals of DAAAM and Proceedings of DAAAM International Symposium, November 2009
Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009
Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
5th International Conference on Web Information Systems and Technologies (WEBIST 2009), 23-26 March 2009
Martin Murth, Eva Kuhn
Knowledge-based coordination with a reliable semantic subscription mechanism
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, 2009
Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Sara Montagna, Andrea Roli
Parameter tuning of a stochastic biological simulator by metaheuristics
AI*IA 2009: Emergent Perspectives in Artificial Intelligence – XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings. Lecture Notes in Computer Science 5883, 2009
Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
A Goal-Oriented Approach for Modelling Self-organising MAS
Engineering Societies in the Agents World X, 2009
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing. Lecture Notes in Computer Science 5474, 2009
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
A Process Model of Actin Polymerisation 
Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008). Electronic Notes in Theoretical Computer Science 229, 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Embodied Organisations in MAS Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009). Lecture Notes in Computer Science 5774, 2009
Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
Engineering Societies in the Agents World IX. Lecture Notes in Computer Science 5485, June 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Manipulation implicite d'une organisation multiagent  via l'environnement
Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009), 2009
Michele Piunti, Alessandro Ricci, Andrea Santi
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
Proceedings of 10th Joint Conference AI*IA TABOO From Objects to Agents (WOA 2009), 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers. Lecture Notes Computer Science 5919, 2009
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
ICSOFT 2009 - Proceedings of the 4th International Conference  on Software and Data Technologies, Volume 1, Sofia, Bulgaria,  July 26-29, 2009, July 2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
A MAS Metamodel-Driven Approach to Process Fragments Selection
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5386, 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009
Matteo Casadei, Andrea Omicini
Situated Tuple Centres in ReSpecT
SAC 2009, March 2009
Philipp Offermann, Udo Bub
Empirical comparison of methods for information systems development according to SOA
17th European Conference on Information Systems (ECIS 2009), 8-10 June 2009
Enrico Oliva
Interactive Graphical Maps for Infocenter via Model to Model Transformation
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies, September 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Seventh international Workshop on Programming Multi-Agent Systems (PROMAS 09) - Revised and Extended version . Lecture Notes in Artificial Intelligence 5919, 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 Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2009), 2-6 September 2009
Ambra Molesini, Enrico Denti, Andrea Omicini
An Agent-based Application for Home Intelligence
International Conference on Agents and Artificial Intelligence (ICAART 2009), January 2009
Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), March 2009
Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
Proceedings of the Ninth International Conference on Quality Software (QSIC 2009), 24-25 August 2009
Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008 – 3rd Italian Workshop on Eclipse Technologies. CEUR Workshop Proceedings 436, August 2009
Luca Cernuzzi, Franco Zambonelli
Gaia4E: A Tool Supporting the Design of MAS using Gaia
ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009, 2009
Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
AOMP 2009, March 2009
Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008). Electronic Notes in Theoretical Computer Science 229, 2009
Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, November 2009
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialogue Support
Argumentation in Multi-Agent Systems. Lecture Notes in Computer Science 5384, February 2009
Michele Piunti, Andrea Santi, Alessandro Ricci
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
In Proceedings of Agents, Web Services and Ontologies, Integrated Methodologies (AWESOME-09), 2009
Weider D. Yu, Chia H. Ong
A SOA Based Software Engineering Design Approach in Service Engineering
2009 IEEE International Conference on e-Business Engineering (ICEBE '09), 2009
Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS
The WI-IAT 2009 Workshops Proceedings, September 2009
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy. CEUR Workshop Proceedings 487, August 2009
Alessandro Ricci, Michele Piunti
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009). Lecture Notes in Computer Science 5774, 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Embodying Organisations in Multi-Agent Work Environments
The 2009 IEEE / WIC / ACM International Conferences on  Web Intelligence and  Intelligent Agent Technology (WI-IAT'09), 2009
Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5386, 2009
Matteo Casadei, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Workshop on Spatial Computing, October 2008
Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition
Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 18-21 February 2008
Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)". Electronic Notes in Theoretical Computer Science 194, 2008
Michele Piunti, Alessandro Ricci
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments
Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 16 September 2008
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The BlenXLanguage: A Tutorial
Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science 5016, 2008
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
Cybernetics and Systems 2008, March 2008
Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
The Architecture and Design of a Malleable Object-Oriented Prolog Engine
23rd ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
9th International Workshop “Engineering Societies in the Agents World” (ESAW'08), September 2008
Daniel T. Gillespie
Simulation Methods in Systems Biology
Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science 5016, 2008
Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007). Electronic Notes in Theoretical Computer Science 194, 16 January 2008
Franco Zambonelli, Mirko Viroli
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
Intelligent Distributed Computing, Systems and Applications. Studies in Computational Intelligence 162/2008, September 2008
Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
Argumentation in Multi-Agent Systems. Lecture Notes in Computer Science 4946, April 2008
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Agent Roles: from Methodologies to Infrastructures
Proceedings of the 2008 workshop on Role-Based Collaboration, at the 2008 International Symposium on Collaborative Technologies and Systems (CTS'08), May 2008
Maurizio Cimadamore, Mirko Viroli
Integrating Java and Prolog through Generic Methods and Type Inference
23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
Proceedings of the third international symposium on i*. CEUR Workshop Proceedings, February 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialogue Support
5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), May 2008
Ambra Molesini, Enrico Denti, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study
Engineering Societies in the Agents World VIII. Lecture Notes in Computer Science 4995, September 2008
Matteo Casadei, Mirko Viroli, Marco Santarelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
CoMA 2008, June 2008
Daniel Yamins, Radhika Nagpal
Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems
7th International Joint Conference on Agents and Multi-Agent Systems (AAMAS-08), 12-16 May 2008
Lin Padgham, Michael Luck
Introduction to AOSE Tools for the Conference Management System 
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Florian Fuchs, Michael Berger
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
Hierarchical Modeling for Computational Biology
Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science 5016, 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini
Arguments and Artifacts for Dispute Resolution
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
Toward a Framework for Collaborative Learning based on Agent-based Technologies
International Education, Technology and Development Conference (INTED 2008), 3-5 March 2008
Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 08), December 2008
Giacomo Cabri
Introducing Join-Computing
Advances on Software Engineering, Parallel and Distributed Systems. Electrical and Computer Engineering, February 2008
Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
Integrating  Artifact-Based Environments with Heterogeneous Agent-Programming Platforms
7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-08), 12-16 May 2008
Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web
Logic Programming. Lecture Notes in Computer Science 5366, December 2008
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers. Lecture Notes in Computer Science 4908, 2008
Elena Nardini, Andrea Omicini
Agent-Based Collaboration Systems: A Case Study
Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education. CEUR Workshop Proceedings 398, September 2008
Sara Montagna, Andrea Omicini, Marco Alberti
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
Intelligenza Artificiale e Scienze della Vita, September 2008
Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
Developing ambient intelligence, February 2008
Lin Padgham, John Thangarajah, Michael Winikoff
The Prometheus Design Tool – A Conference Management System Case Study
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Anna Riccioni, Enrico Denti, Roberto Laschi
An experimental environment for teaching Java Security
6th ACM International Symposium on Principles and Practice of Programming in Java (PPPJ 2008) - Modena, Italy, 9-11 September 2008. ACM International Conference Proceeding 347, October 2008
Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Developing a Conference Management System with the Multi-Agent Systems Unified   Process: A Case Study
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
2008 8th International Conference on Intelligent Systems Design and Applications (ISDA 2008), 2008
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
Tool-Supported Development with Tropos: The Conference Management System Case Study
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Experimenting with Stochastic Prolog as a Simulation Language
23º Convegno Italiano di Logica Computazionale (CILC'08), July 2008
Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
The 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), September 2008
Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Fast self-healing gradients.
SAC, 2008
Matteo Casadei, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications
CoMA 2008, June 2008
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies for Designing Agent Societies
2nd Workshop on Engineering Complex Distributed Systems (ECDS 2008), March 2008
Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
Proceedings of the Third International Workshop ``Dependability Aspects on Data WArehousing and Mining applications'' (DAWAM-08), March 2008
Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. Proceedings, November 2008
Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on  SODA
9th Workshop "From Objects to Agents" (WOA 2008) – Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Alessandro Ricci, Mirko Viroli, Andrea Omicini
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Programming Multi-Agent Systems. Lecture Notes in Computer Science 4908, April 2008
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems. Lecture Notes in Computer Science 5118, July 2008
Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
6h European Workshop on Multi-Agent Systems (EUMAS 2008), 18-19 December 2008
Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS 
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Agent-oriented AmI Engineering
Developing ambient intelligence, February 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Antonio Natali, Enrico Oliva, Cristina Bonanni
Model-driven Generation of Graphical Maps for e-Contents
Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. , November 2008
Giulio Piancastelli, Andrea Omicini
A Logic Programming Model for Web Resources
4th International Conference on Web Information Systems and Technologies (WEBIST 2008), May 2008
Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
SPEM on Test: the  SODA Case Study
23th ACM Symposium on Applied Computing (SAC 2008), March 2008
Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), May 2007
Alessandro Ricci, Claudio Buda, Nicola Zaghini
An Agent-Oriented Programming Model for SOA & Web Services
5th IEEE International Conference on Industrial Informatics (INDIN'07), 23-27 June 2007
George Jiri Mejtsky
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates
2007 Winter Simulation Conference, 9-12 December 2007
Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Interplay of Crosscutting and MAS-Specific Styles
Software Architecture. Lecture Notes in Computer Science 4758, September 2007
Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Experiences in Automated Workflows using Dialectical Argumentation
IADIS International Conference "Intelligent Systems and Agents" (ISA 2007). Computer Science and Information Systems, July 2007
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004). Electronic Notes in Theoretical Computer Science 180, June 2007
Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems
2nd Conference “Foundations of Systems Biology in Engineering” (FOSBE 2007), September 2007
Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Auction Negotiation for Mobile Rideshare Service
2nd International Conference on Pervasive Computing and Applications, 2007. ICPCA 2007. , 26-27 jul 2007
Alessandro Ricci, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007
Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Geo-Linda: a Geometry Aware Distributed Tuple Space
21st International Conference on Advanced Networking and Applications (AINA '07), 21-23 May 2007
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Luca Cardelli
Invited Talk: A Process Algebra Master Equation
4th International Conference on the Quantitative Evaluation of Systems (QEST 2007), September 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
Large Language Models in Machine Translation
Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL 2007), June 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems
1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007
Alessandro Ricci, Enrico Denti
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007), September 2007
Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
4th International Workshop “Argumentation in Multi-Agent Systems” (ArgMAS 2007), May 2007
Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Towards Integrating Agents with Objects Tracing Systems in AmI
Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS'07), 13-14 December 2007
Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Extrospection: Agents Reasoning About the Environment
3rd IET International Conference on Intelligent Environments (IE 07), 24-25 September 2007
Anna Riccioni, Enrico Denti
vLab: an Eclipse-based Virtual Laboratory
First International Conference on Eclipse Technologies (ECLIPSE - IT '07), October 2007
Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
XXXIII Conferencia Latinoamericana en Informática (CLEI 2007), 8-12 October 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science  175, June 2007
Volha Bryl, Paolo Giorgini, John Mylopoulos
Supporting Requirements Analysis in Tropos: a Planning-Based Approach
Proceedings of the 10th Pacific Rim International Workshop on Multi-Agents (PRIMA?07), 21-23  November 2007
Tom Holvoet, Paul Valckenaers
Exploiting the Environment for Coordinating Agent Intentions
Environments for Multi-Agent Systems III, 2007
Maurizio Cimadamore, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations
5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007
Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, September 2007
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 11-12 September 2007
Michele Cabano, Cesare Monti, Giulio Piancastelli
Context-Dependent Evaluation Methodology for Open Source Software
Open Source Development, Adoption and Innovation. IFIP International Federation for Information Processing 234, August 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Building Smart Environments as Agent Workspaces
CoMA 2007, 18-19 June 2007
Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Olaf Zimmermann, Jana Koehler, Leymann Frank
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
Workshop on Software Engineering Methods for Service-oriented Architecture 2007 (SEMSOA 2007), May 2007
Antonio Natali, Antonio Del Cinque, Enrico Oliva
Using Eclipse in Building Model-driven e-Learning Supports
Eclipse: a Great Opportunity for Industry and Universities in Italy, October 2007
Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Measurement and Control of Self-organised Behaviour in Robot Swarms
Architecture of Computing Systems – ARCS 2007. LNCS 4415, 2007
Andrea Omicini
Formal ReSpecT in the A&A Perspective
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, June 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems
CEEMAS 2007. Lecture Notes in Computer Science 4696, September 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), September 2007
Ambra Molesini, Enrico Denti, Andrea Omicini
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), October 2007
Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
A Survey of Service Oriented Development Methodologies
2nd European Young Researchers Workshop on Service Oriented Computing, 2007
Michael Schumacher, Laurent Grangier, Radu Jurca
Governing Environments for Agent-Based Traffic Simulations
CEEMAS 2007. CEEMAS '07, 2007
Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
CAiSE'07 Forum, Proceedings of the CAiSE'07 Forum at the 19th International Conference on Advanced Information Systems Engineering.. CEUR Workshop Proceedings, June 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Practical Extensions in Agent Programming Languages
6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07)., 14-18 May 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007
Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Evaluating Procedural Alternatives. A Case Study in E-Voting
Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07), September 2007
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Service-Oriented Agent Methodologies
WET ICE 2007, June 2007
Ambra Molesini, Enrico Denti, Andrea Omicini
Metodologie per l'ingegneria del software: approccio ad agenti
AICA 2006, September 2006
Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
Engineering Societies in the Agents World VI. Lecture Notes in Computer Science 3963, June 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems. Lecture Notes in Computer Science 3862, March 2006
Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
An agent oriented tool for method engineering
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 dec 2006
Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
RoboCup 2005: Robot Soccer World Cup IX. Lecture Notes in Computer Science 4020, 2006
Rafael H. Bordini, Jomi F. Hübner
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science 3900, April 2006
Panos E. Kourouthanassis, George M. Giaglis
A Design Theory for Pervasive Information Systems
3rd International Workshop on Ubiquitous Computing (IWUC 2006), May 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Linkable Coordination Artifacts for Inter-Organisational Workflow
1st International Workshop “Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models” (CIOW 2006), May 2006
L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Declarative Agent Languages and Technologies {II}. Lecture Notes in Computer Science 3476, June 2006
Sebastian Sardina, Lavindra de Silva, Lin Padgham
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '06), May 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Engineering Self-Organising Systems. Lecture Notes in Computer Science 3910, 2006
Evi Syukur, Seng Wai Loke
The MHS Methodology: Analysis and Design for Context-Aware Systems
4th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the 2nd International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06), 2006
H. Van Dyke Parunak
A Survey of Environments and Mechanisms for Human-Human Stigmergy
Environments for Multi-Agent Systems II. Lecture Notes in Computer Science 3830, 2006
Antonio Natali, Antonio Del Cinque, Matteo Casadei
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
AICA 2006, 21-22 September 2006
Rossella Rubino, Ambra Molesini, Enrico Denti
OWL-S for Describing Artifacts
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). Electronic Notes in Theoretical Computer Science 150, May 2006
Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Web Services Implementation Methodology for SOA Application
4th IEEE International Conference on Industrial Informatics (INDIN 2006), 16-18 August 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Sara Montagna, Alessandro Ricci, Andrea Omicini
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Luca Cernuzzi, Franco Zambonelli
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
Agent-Oriented Software Engineering VI. Lecture Notes in Computer Science 3950, 2006
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
E4MAS 2006, 8 May 2006
Michele Cabano, Cesare Monti, Giulio Piancastelli
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
EMCSR 2006, April 2006
Brian Henderson-Sellers
SPI - A Role for Method Engineering
EUROMICRO-SEAA, 2006
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
EMCSR 2006, April 2006
Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
Agent-Oriented Software Engineering VI. Lecture Notes in Computer Science 3950, 2006
Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Computational Models of Argument. Frontiers in Artificial Intelligence and Applications 144, August 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulation of Minority Game in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
E4MAS 2006, May 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Ronaldo Menezes, Alan Wood
The Fading Concept in Tuple-Space Systems
Proceedings of the 2006 ACM symposium on Applied Computing (SAC 2006), 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Lecture Notes in Computer Science 3914, April 2006
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Distributed Workflow upon Linkable Coordination Artifacts
Coordination Models and Languages. Lecture Notes in Computer Science 4038, June 2006
Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
ANI@REM 2005. Lecture Notes in Computer Science 3913, June 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces
WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
E4MAS 2006, May 8 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
AICA 2006, 21-22 September 2006
Andrea Omicini
Formal ReSpecT in the A&A Perspective
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), August 2006
Charles M. Macal, Michael J. North
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
WSC '06: Proceedings of the 38th conference on Winter simulation, 2006
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking
AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings. Lecture Notes in Computer Science 4304, 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), August 2006
Mirko Viroli, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions
Agent Communication. Lecture Notes in Artificial Intelligence 3396, January 2005
Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
CEEMAS 2005. Lecture Notes in Computer Science 3690, 2005
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-based Coordination Languages
3rd International Conference on Formal Methods for Components and Objects (FMCO'04). LNCS 3657, 2005
John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware
2nd IEEE Symposium on Multi-Agent Security and Survivability (MASS 2005), 30-31 August 2005
Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
A Trust Analysis Methodology for Pervasive Computing Systems
Trusting Agents for Trusting Electronic Societies. LNCS 3577, 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, May 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages. Lecture Notes in Computer Science 3454, April 2005
Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
6th International Workshop “Engineering Societies in the Agents World” (ESAW’05), 26-28 October 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi, November 2005
Massimo Cossentino, Valeria Seidita
Composition of a New Process to Meet Agile Needs Using Method Engineering
Software Engineering for Multi-Agent Systems III, Research. Lecture Notes in Computer Science 3390, 2005
Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts
2nd Workshop on Challenges in the Coordination of Large-Scale Multi-Agent Systems (LSMAS'05), 25 July 2005
Simon Dobson, Paddy Nixon
More Principled Design of Pervasive Computing Systems
Engineering Human Computer Interaction and Interactive Systems. LNCS 3425, 2005
Luciano Serafini, Andrei Tamilin
Distributed Instance Retrieval in Heterogeneous Ontologies
SWAP 2005. CEUR Workshop 166, 2005
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005
Mirko Viroli, Alessandro Ricci, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
4th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2005), July 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
3rd International Workshop “Programming Multi-Agent Systems” (PROMAS 2005), July 2005
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, 2005
Brian Henderson-Sellers
Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies
CEEMAS 2005. Lecture Notes in Computer Science 3690, September 2005
Francisco Martín-Recuerda
Towards CSpaces: A New Perspective for the Semantic Web
Industrial Applications of Semantic Web, 2005
M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Verifying Multi-agent Systems via Unbounded Model Checking
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, 2005
Ambra Molesini, Enrico Denti, Andrea Omicini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
CEEMAS 2005. Lecture Notes in Computer Science 3690, 2005
Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
6th International Workshop “Agent-Oriented Software Engineering” (AOSE 2005), July 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering MAS Environment with Artifacts
2nd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2005), July 2005
Luciano Serafini, Andrei Tamilin
Drago: Distributed reasoning architecture for the semantic web
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Environment-Based Coordination Through Coordination Artifacts
Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
An Agent-Oriented Conceptual Framework for Systems Biology
Transactions on Computational Systems Biology III. Lecture Notes in Computer Science 3737, December 2005
Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
ANI@REM 2005, July 2005
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 7-8 December 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
AI*IA 2005: Advances in Artificial Intelligence. Lecture Notes in Computer Science 3673, September 2005
Marco Mamei, Franco Zambonelli
Programming Stigmergic Coordination with the TOTA Middleware
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Coordination and Composition in Multi-agent Systems
4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25-29 July 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
3rd International Workshop “Engineering Self-Organising Applications” (ESOA 2005), July 2005
Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Effective Tool Use in a Habile Agent
2005 IEEE Systems and Information Engineering Design Symposium (SEADS 2005), 29 April 2005
Luca Cernuzzi, Franco Zambonelli
Developing MAS Solutions with Gaia and AUML
XXXI Conferencia Latinoamericana en Informática (CLEI 2005), 10-14 October 2005
(534 papers in proceedings / 2005–2023)  [top]  [bottom]

Avatar

home  •  biography  •  events  •  projects  •  publications  •  research  •  talks  •  teaching  •  theses

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY