Per Sort
Per Sort
534 papers in proceedings / 2005–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 |