Per Sort
- On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (2024) — Federico Sabbatini, Roberta Calegari
- Anonymous Federated Learning via Named-Data Networking (Future Generation Computer Systems, 2024) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Nicolò Dal Fabbro, Riccardo Lazzeretti
- EneA-FL: Energy-aware Orchestration for Serverless Federated Learning (Future Generation Computer Systems, 2024) — Andrea Agiollo, Paolo Bellavista, Matteo Mendula, Andrea Omicini
- Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys, 2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
- From Large Language Models to Small Logic Programs: Building Global Explanations from Disagreeing Local Post-hoc Explainers (Autonomous Agents and Multi-Agent Systems, 2024) — Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep Kumar Murukannaiah, Andrea Omicini
- Neural-logic multi-agent system for flood event detection (Intelligenza Artificiale, 2023) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
- Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems, 2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation (2023) — Andrea Gatti, Viviana Mascardi
- Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine, 2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
- HAMLET: a framework for Human-centered AutoML via Structured Argumentation (2023) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
- Burden of Persuasion: A Meta-argumentation Approach (Journal of Applied Logics, 2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Efficient compliance checking of RDF data (Journal of Logic and Computation, 2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
- Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (Artificial Intelligence and Law, 2023) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
- Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (2023) — Luciano Floridi
- Delay Indices for Train Punctuality (Information, 2023) — Enrico Denti, Luca Burroni
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale, 2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (IEEE Internet of Things Journal, 2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Pervasive and Connected Digital Twins - A Vision for Digital Health (IEEE Internet Computing, 2022) — Alessandro Ricci, Angelo Croatti, Sara Montagna
- How to model contrary-to-duty with GCP-nets (Intelligenza Artificiale, 2022) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
- Fifty Years of Prolog and Beyond (Theory and Practice of Logic Programming, 2022) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
- On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming, 2022) — Włodzimierz Drabent
- Web of Digital Twins (ACM Transactions on Internet Technology, 2022) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
- Coordination of Autonomous Vehicles: Taxonomy and Survey (ACM Computing Surveys, 2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- Arg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation, 2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale, 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Towards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies (Interaction Studies, 2022) — Chiara Bassetti, Enrico Blanzieri, Stefano Borgo, Sofia Marangon
- Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (2021) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
- Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (2021) — Angelo Croatti, Marco Longoni, Sara Montagna
- Partitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems, 2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
- DETONAR: Detection of Routing Attacks in RPL-based IoT (2021) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
- An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing (SN Computer Science, 2021) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
- Argumentation and Defeasible Reasoning in the Law (J — Multidisciplinary Scientific Journal, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Teaching the Old Dog New Tricks: Supervised Learning with Constraints (2021) — Fabrizio Detassis, Michele Lombardi, Michela Milano
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (Applied Sciences, 2021) — Andrea Agiollo, Andrea Omicini
- From Agents to Blockchain: Stairway to Integration (Applied Sciences, 2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
- On the Integration of Agents and Digital Twins in Healthcare (2020) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Complementing Agents with Cognitive Services: A Case Study in Healthcare (2020) — Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
- Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (Autonomous Agents and Multi-Agent Systems, 2020) — Angelo Croatti, Alessandro Ricci
- Real-time tracking and documentation in trauma management (2020) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
- Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24 (2020) — Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
- Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer (2020) — Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (2020) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
- Twenty years of coordination technologies: COORDINATION contribution to the state of art (Journal of Logical and Algebraic Methods in Programming, 2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (2020) — Sara Montagna, Michele Braccini, Andrea Roli
- Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (Complexity, 2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
- Evaluating Origin–Destination Matrices Obtained from CDR Data (2019) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
- A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting (2019) — Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
- From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- Client-side Computational Optimization (2019) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
- A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- Explanation in artificial intelligence: Insights from the social sciences (2019) — Tim Miller
- Coordination in Socio-technical Systems: Where are we now? Where do we go next? (Science of Computer Programming, 2019) — Stefano Mariani
- Deliver intelligence to integrate care: the Connecare way (2019) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- The mythos of model interpretability (2018) — Zachary C. Lipton
- Spatial Tuples: Augmenting Reality with Tuples (Expert Systems, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (2018) — M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel
- A Survey of Methods for Explaining Black Box Models (ACM Computing Surveys, 2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (2018) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
- ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- State-of-the-Art and Trends in Nature-inspired Coordination Models (The IEEE Intelligent Informatics Bulletin, 2017) — Stefano Mariani, Andrea Omicini
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (International Journal of Distributed Systems and Technologies, 2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Aggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering, 2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
- Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Augmented societies with mirror worlds (2017) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
- Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (SIMULATION: Transactions of the Society for Modeling and Simulation International, 2017) — Sara Montagna, Andrea Omicini
- An Argumentation-based Perspective over the Social IoT (2017) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework (2016) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
- A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
- Spatial awareness in pervasive ecosystems (The Knowledge Engineering Review, 2016) — Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
- Mastering the game of Go with deep neural networks and tree search (2016) — David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, Demis Hassabis
- Cross-organism learning method to discover new gene functionalities (2016) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci
- Building Smart Spaces on the Home Manager platform (ALP Newsletter, 2016) — Roberta Calegari, Enrico Denti
- Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (Engineering Applications of Artificial Intelligence, 2015) — Stefano Mariani, Andrea Omicini
- GOTA: GO term annotation of biomedical literature (2015) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing, 2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
- Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
- Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
- Programming Multi-agent Systems (The Knowledge Engineering Review, 2015) — Mehdi Dastani
- Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (SIMULATION: Transactions of the Society for Modeling and Simulation International, 2015) — Sara Montagna, Mirko Viroli, Andrea Roli
- Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
- Deep learning (Nature, 2015) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
- A coordination model of pervasive service ecosystems (Science of Computer Programming, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
- GOTA: GO term annotation of biomedical literature (2015) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
- Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (SCS M&S Magazine, 2014) — Stefano Mariani, Andrea Omicini
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (2014) — Enrico Denti
- Novel pervasive scenarios for home management: the Butlers architecture (2014) — Enrico Denti
- Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Multi-agent Oriented Programming with JaCaMo (Science of Computer Programming, 2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
- Description and composition of bio-inspired design patterns: a complete overview (2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (Intelligenza Artificiale, 2013) — Andrea Omicini, Stefano Mariani
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (2013) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (2013) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
- tuProlog: Making Prolog Ubiquitous (ALP Newsletter, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (Journal of Simulation, 2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation, 2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (2013) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
- Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
- On competitive self-composition in pervasive services (Science of Computer Programming, 2013) — Mirko Viroli
- Nature-inspired Coordination Models: Current Status, Future Trends (ISRN Software Engineering, 2013) — Andrea Omicini
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (International Journal of Foundations of Computer Science, 2013) — Houguang Yue
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (ACM Transactions on Autonomous and Adaptive Systems, 2012) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
- Implicit: A Multi-agent Recommendation System for Web Search (Autonomous Agents and Multi-Agent Systems, 2012) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
- Toward Sociotechnical Urban Superorganisms (2012) — Franco Zambonelli
- A Programming Paradigm based on Agent-Oriented Abstractions (2012) — Alessandro Ricci, Andrea Santi
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (2012) — Schahram Dustdar, Hong-Linh Truong
- Situation Identification Techniques in Pervasive Computing: A Review (Pervasive and Mobile Computing, 2012) — Juan Ye, Simon Dobson, Susan McKeever
- Programming Directives for Elastic Computing (IEEE Internet Computing, 2012) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (2012) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
- Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Self-adaptive software needs quantitative verification at runtime (Communications of the ACM, 2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
- Interdependent Artificial Institutions in Agent Environments (Applied Artificial Intelligence, 2012) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (ACM Computing Surveys, 2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- From Space to Stage: How Interactive Screens Will Change Urban Life (2011) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
- The most ancient marketing (Communications of the ACM, 2011) — Jaron Lanier
- Adaptive organizational changes in agent-oriented methodologies (The Knowledge Engineering Review, 2011) — Luca Cernuzzi, Franco Zambonelli
- Improving brain-computer interfaces (Communications of the ACM, 2011) — Kirk L. Kroeker
- The Social Compute Unit (IEEE Internet Computing, 2011) — Schahram Dustdar, Kamal Bhattacharya
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (International Journal of Software Engineering and Knowledge Engineering, 2011) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective (2011) — Marco Raberto, Andrea Teglio, Silvano Cincotti
- The legacy of Steve Jobs (Communications of the ACM, 2011) — Michael A. Cusumano
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems, 2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- Dennis Ritchie, 1941-2011 (2011) — Paul Hyman
- Abstraction in hardware system design (Communications of the ACM, 2011) — Rishiyur S. Nikhil
- Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) — YoungMin Kwon, Gul Agha
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Preface (Science of Computer Programming, 2011) — Carlos Canal, Mirko Viroli
- Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
- Sustainable biomass power plant location in the Italian Emilia-Romagna region (2011) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
- Towards a logic framework for Web programming (Intelligenza Artificiale, 2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Principles of Elastic Processes (IEEE Internet Computing, 2011) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems, 2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review, 2011) — Peter McBurney, Simon Parsons, Mirko Viroli
- The Rise of Molecular Machines (Communications of the ACM, 2011) — Kirk L. Kroeker
- Living in a Digital World (Communications of the ACM, 2011) — Samuel Greengard
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (2011) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
- A Tour of Reaction Systems (International Journal of Foundations of Computer Science, 2011) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
- Java Security Architecture Revisited (2011) — Li Gong
- Will software engineering ever be engineering? (Communications of the ACM, 2011) — Michael Davis
- Seeing is not enough (Communications of the ACM, 2011) — Tom Geller
- Anonymity is not privacy: technical perspective (2011) — Vitaly Shmatikov
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others (2011) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
- The software industry is the problem (Communications of the ACM, 2011) — Poul-Henning Kamp
- Computational journalism (Communications of the ACM, 2011) — Sarah Cohen, James T. Hamilton, Fred Turner
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
- Tutorial on Agent-based Modelling and Simulation (Journal of Simulation, 2010) — Charles M. Macal, Michael J. North
- Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (International Journal of Agent-Oriented Software Engineering, 2010) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (2010) — Sagar Indurkhya, Jacob Beal
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (2010) — Silvano Cincotti, Marco Raberto, Andrea Teglio
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (2010) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (Pervasive and Mobile Computing, 2010) — Clemens Holzmann, Alois Ferscha
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (2010) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
- Implementing reactive BDI agents with user-given constraints and objectives (International Journal of Agent-Oriented Software Engineering, 2010) — Aniruddha Dasgupta, Aditya K. Ghose
- A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
- Agent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering, 2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (Multiagent and Grid Systems, 2010) — Alessandro Ricci, Enrico Denti, Michele Piunti
- Logic-based decision support for strategic environmental assessment (Theory and Practice of Logic Programming, 2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (2010) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
- Towards Model-driven Communications (2010) — Antonio Natali, Ambra Molesini
- Mathematics for Economics: A Statistical Mechanics Perspective (2009) — Pierluigi Contucci, Francesca Romiti
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach (2009) — Marco Mamei, Franco Zambonelli
- On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- Making Sense of Revision-control Systems (Communications of the ACM, 2009) — Bryan O'Sullivan
- Declarative Specification and Verification of Service Choreographies (2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
- Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
- Software Engineering: An Idea Whose Time Has Come and Gone? (IEEE Software, 2009) — Tom De Marco
- Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- An Adaptation Logic Framework for Java-based Component Systems (Journal of Universal Computer Science, 2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
- PASSIM: a simulation-based process for the development of multi-agent systems (International Journal of Agent-Oriented Software Engineering, 2008) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (2008) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
- Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Automating Workflow using Dialectical Argumentation (IADIS International Journal on Computer Science and Information Systems, 2008) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (2008) — Pierluigi Contucci, Cristian Giardina
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory (2008) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (The Knowledge Engineering Review, 2008) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
- A&A for Modelling and Engineering Simulations in Systems Biology (International Journal of Agent-Oriented Software Engineering, 2008) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- A Process Algebraic View of Shared Dataspace Coordination (2008) — Nadia Busi, Gianluigi Zavattaro
- Smart Environments as Agent Workspaces (Ubiquitous Computing and Communication Journal, 2008) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Towards a Tuplespace-based Middleware for the Semantic Web (Web Intelligence and Agent Systems, 2008) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
- On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology (2008) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
- Econophysics and the Current Economic Turmoil (2008) — H. Eugene Stanley
- Writing a thesis with LaTeX (2008) — Lapo Mori
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (2007) — Pierluigi Contucci, Stefano Ghirlanda
- A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
- Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- A Survey on Context-Aware Systems (2007) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
- Model Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix
- Preface (Science of Computer Programming, 2007) — Carlos Canal, Mirko Viroli
- tuProlog 2.0: One Step Beyond (ALP Newsletter, 2007) — Giulio Piancastelli, Andrea Omicini
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (2007) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
- Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
- Environment as a First Class Abstraction in Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Danny Weyns, Andrea Omicini, James J. Odell
- Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (Autonomous Agents and Multi-Agent Systems, 2007) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Guest Editorial (2007) — Davide Ancona, Mirko Viroli
- Executable cell biology (Nature Biotechnology, 2007) — Jasmin Fisher, Thomas A. Henzinger
- Agent-based modeling of multicell morphogenic processes during development (2007) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
- Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (International Journal of Agent-Oriented Software Engineering, 2007) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
- Situated Cellular Agents Approach to Crowd Modeling and Simulation (2007) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
- Pellet: A practical OWL-DL reasoner (2007) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
- How to infer gene networks from expression profiles (2007) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
- Method fragments for agent design methodologies: from standardisation to research (International Journal of Agent-Oriented Software Engineering, 2007) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications (Web Intelligence and Agent Systems, 2007) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (2007) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
- Pervasive pheromone-based interaction with RFID tags (ACM Transactions on Autonomous and Adaptive Systems, 2007) — Mamei Marco, Franco Zambonelli
- Infrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
- Discrete Event Modeling and Simulation in Systems Biology (Journal of Simulation, 2007) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
- Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (2007) — Tim O'Reilly
- On Coordination and its Significance to Distributed and Multi-Agent Systems (2006) — Sascha Ossowski, Ronaldo Menezes
- A Generic Large Scale Simulator for Ubiquitous Computing (2006) — M. Martin, P. Nurmi
- Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Multiagent Systems (Intelligenza Artificiale, 2006) — Andrea Omicini, Agostino Poggi
- Service-Oriented Design and Development Methodology (2006) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
- Case Studies for Self-organization in Computer Science (Journal of Systems Architecture, 2006) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (2006) — Christine Julien, Gruia-Catalin Roman
- Tools for kinetic modeling of biochemical networks (Nature Biotechnology, 2006) — Rui Alves, Fernando Antunes, Armindo Salvador
- Logics for Artificial Intelligence (Intelligenza Artificiale, 2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
- On the Expressive Power of KLAIM-based Calculi (2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems, 2006) — Atsushi Igarashi, Mirko Viroli
- Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems, 2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- Lime: A coordination model and middleware supporting mobility of hosts and agents (2006) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
- Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
- Toward Nature-Inspired Computing (Communications of the ACM, 2006) — Jiming Liu, Kwok Ching Tsui
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Process Models for Agent-based Development (Engineering Applications of Artificial Intelligence, 2005) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
- On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica, 2005) — Alessandro Ricci, Mirko Viroli
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Quantitative Information in the Tuple Space Coordination Model (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Self-Organization in Multi-Agent Systems (The Knowledge Engineering Review, 2005) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
- Environments in Multiagent Systems (The Knowledge Engineering Review, 2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
- Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (2005) — Eugene Eberbach
- System Support for Pervasive Applications (2004) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
- Adaptive Agents and Multiagent Systems (2004) — Zahia Guessoum
- Coordination and Collaboration Activities in Cooperative Information Systems (International Journal of Cooperative Information Systems, 2004) — Andrea Omicini, Sascha Ossowski
- Guest Editorial (2004) — Davide Ancona, Mirko Viroli
- Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
- Reo: A Channel-based Coordination Model for Component Composition (2004) — Farhad Arbab
- Composing Adaptive Software (2004) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
- Relevance of Winning Coalitions in Indirect Control of Corporations (2004) — Enrico Denti, Nando Prati
- From the Editor in Chief: Nature-Inspired Computing (2004) — Nigel Shadbolt
- Open Directions in Agent-Oriented Software Engineering (UPGRADE: The European Journal for the Informatics Professional, 2004) — Franco Zambonelli, Andrea Omicini
- Challenges and Research Directions in Agent-Oriented Software Engineering (Autonomous Agents and Multi-Agent Systems, 2004) — Franco Zambonelli, Andrea Omicini
- How has the 9/11 terrorist attack influenced decision making? (2003) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
- The Vision of Autonomic Computing (2003) — Jeffrey O. Kephart, David M. Chess
- Architecture as a Coordination Tool in Multi-site Software Development (2003) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
- Computation Beyond Turing Machines (Communications of the ACM, 2003) — Peter Wegner, Dina Goldin
- A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
- Reasoning about Organisation: Shaping the Infrastructure (AI*IA Notizie, 2003) — Andrea Omicini, Alessandro Ricci
- Developing multiagent systems: The Gaia methodology (2003) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
- Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (The Knowledge Engineering Review, 2003) — Franco Zambonelli, H. Van Dyke Parunak
- Method engineering for OO systems development (Communications of the ACM, 2003) — Brian Henderson-Sellers
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language (2003) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
- Objects and Agents Compared (2002) — James J. Odell
- Bisimulation for Labelled Markov Processes (2002) — José Desharnais, Abbas Edalat, Prakash Panangaden
- Principled Design of the Modern Web Architecture (ACM Transactions on Internet Technology, 2002) — Roy Thomas Fielding, Richard N. Taylor
- Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
- A Survey of Coordination Middleware for XML-centric Applications (The Knowledge Engineering Review, 2002) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
- An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
- The Complementary Nature of Coordination Dynamics: Self-organization and Agency (2002) — J.A. Scott Kelso
- Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems, 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Design Principles of a Reactive Behavioral System for the Intelligent Room (2002) — Ajay Kulkarni
- Coordination Knowledge Engineering (The Knowledge Engineering Review, 2002) — Sascha Ossowski, Andrea Omicini
- Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence, 2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (2002) — Hidde De Jong
- Computational challenges in cell simulation: a software engineering approach (2002) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
- Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (2002) — Brian Henderson-Sellers
- Enlightened Agents in TuCSoN (AI*IA Notizie, 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie, 2001) — Mirko Viroli, Andrea Omicini
- An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) — Nando Prati, Enrico Denti
- Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
- A Coordination Language for Collective Agent-based Systems: GroupLog (Applied Artificial Intelligence, 2001) — Fernanda Barbosa, José C. Cunha
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (International Journal of Software Engineering and Knowledge Engineering, 2001) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
- LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems, 2001) — Enrico Denti, Andrea Omicini
- Introduction to This Special Issue on Context-Aware Computing (2001) — Thomas Moran, Paul Dourish
- XML Dataspaces for the Coordination of Internet Agents (Applied Artificial Intelligence, 2001) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- Self Organization and Coordination (2001) — Scott E. Page
- On the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie, 2001) — Andrea Omicini
- From Tuple Spaces to Tuple Centres (Science of Computer Programming, 2001) — Andrea Omicini, Enrico Denti
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations (2001) — Ian Foster, Carl Kesselman, Steven Tuecke
- On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic, 2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
- An Agent-based Approach for Building Complex Software Systems (Communications of the ACM, 2001) — Nicholas R. Jennings
- Safe Tuplespace-based Coordination in Multiagent Systems (Applied Artificial Intelligence, 2001) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
- Control-driven Constraint Propagation (Applied Artificial Intelligence, 2001) — Eric Monfroy
- Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (2001) — Ganesh D. Bhatt
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (2000) — Michael A. Gibson, Jehoushua Bruck
- Selecting a Project's Methodology (IEEE Software, 2000) — Alistair Cockburn
- MARS: A Programmable Coordination Architecture for Mobile Agents (IEEE Internet Computing, 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- On Agent-Based Software Engineering (2000) — Nicholas R. Jennings
- The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems, 2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Amorphous Computing (Communications of the ACM, 2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
- Amorphous Computing (Communications of the ACM, 2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
- On the Expressiveness of Linda Coordination Primitives (2000) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
- Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali
- Process Migration (ACM Computing Surveys, 2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
- Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (1999) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
- Coordination Models for Multi-Agent Systems (AgentLink News, 1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- Coordination Technologies for Internet Agents (Nordic Journal of Computing, 1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- Coordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems, 1999) — Andrea Omicini, Franco Zambonelli
- Editor's Introduction: Stigmergy (1999) — Eric Bonabeau
- Meta-Modelling Based Assembly Techniques for Situational Method Engineering (1999) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
- Agents with Power (Communications of the ACM, 1999) — Rune Gustavsson
- An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience, 1999) — Enrico Denti, Andrea Omicini
- A Brief History of Stigmergy (1999) — Guy Theraulaz, Eric Bonabeau
- Decision procedures for BDI logics (Journal of Logic and Computation, 1998) — Anand S. Rao, Michael P. Georgeff
- Planning and acting in partially observable stochastic domains (1998) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
- Agent Communication Languages: Rethinking the Principles (1998) — Munindar P. Singh
- A process algebraic view of Linda coordination primitives (1998) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
- On the Expressive Power of KLAIM-based Calculi (1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
- KLAIM: A Kernel Language for Agent Interaction and Mobility (1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
- Modelling Social Action for AI Agents (1998) — Cristiano Castelfranchi
- T Spaces (1998) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
- Co-ordination of Mobile Information Agents in TuCSoN (Internet Research, 1998) — Andrea Omicini, Franco Zambonelli
- Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
- Collective dynamics of ‘small-world’ networks (Nature, 1998) — Duncan J. Watts, Steven H. Strogatz
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
- Towards Empirical Computer Science (1998) — Peter Wegner
- “Go to the Ant”: Engineering Principles from Natural Agent Systems (1997) — H. Van Dyke Parunak
- Why Interaction Is More Powerful Than Algorithms (Communications of the ACM, 1997) — Peter Wegner
- A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten
- Method engineering: engineering of information systems development methods and tools (1996) — Sjaak Brinkkemper
- Coordination Models and Languages as Software Integrators (ACM Computing Surveys, 1996) — Paolo Ciancarini
- Intelligent Agents: Theory and Practice (The Knowledge Engineering Review, 1995) — Michael J. Wooldridge, Nicholas R. Jennings
- A distributed semantics for EMPA based on stochastic contextual nets (1995) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
- Specification and Analysis of System Architecture Using Rapide (1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
- Computational Research on Interaction and Agency (1995) — Philip E. Agre
- Reactive, Generative, and Stratified Models of Probabilistic Processes (1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
- Modularity in Logic Programming (1994) — Michele Bugliesi, Evelina Lamma, Paola Mello
- Embedding as a Tool for Language Comparison (1994) — Frank S. de Boer, Catiuscia Palamidessi
- Distributed Programming with Logic Tuple Spaces (1994) — Paolo Ciancarini
- The Interdisciplinary Study of Coordination (ACM Computing Surveys, 1994) — Thomas W. Malone, Kevin Crowston
- Science for the post-normal age (1993) — Silvio O. Funtowicz, Jerome R. Ravetz
- An Overview of Manifold and its Implementation (1993) — Farhad Arbab, Ivan Herman, Per Spilling
- Elements of Interaction: Turing Award Lecture (Communications of the ACM, 1993) — Robin Milner
- Agent-Oriented Programming (1993) — Yoav Shoham
- Coordination Languages and Their Significance (Communications of the ACM, 1992) — David Gelernter, Nicholas Carriero
- Design principles for cognitive artifacts (1992) — Donald A. Norman
- A calculus of mobile processes, I (1992) — Robin Milner, Joachim Parrow, David Walker
- A calculus of mobile processes, II (1992) — Robin Milner, Joachim Parrow, David Walker
- The Chemical Abstract Machine (1992) — Gérard Berry
- The Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems, 1991) — Antonio Brogi, Paolo Ciancarini
- Intelligence without Representation (1991) — Rodney A. Brooks
- Quintus Prolog 3.0 (1991) — Ken Johnson
- The GAMMA Model and its Discipline of Programming (Science of Computer Programming, 1990) — Jean-Pierre Banâtre, Daniel Le Métayer
- Concepts and Paradigms of Object-oriented Programming (1990) — Peter Wegner
- How to Write Parallel Programs: A Guide to the Perplexed (ACM Computing Surveys, 1989) — Nicholas Carriero, David Gelernter
- Linda in Context (Communications of the ACM, 1989) — Nicholas Carriero, David Gelernter
- Grafica in Turbo Pascal (1988) — Enrico Denti
- Linear logic (1987) — Jean-Yves Girard
- Linda and Friends (1986) — Sudhir Ahuja, Nicholas Carriero, David Gelernter
- Algebra of communicating processes with abstraction (1985) — Jan A. Bergstra, Jan Willem Klop
- Meta-level Programming and Knowledge Representation (1985) — Kenneth A. Bowen
- Generative Communication in Linda (ACM Transactions on Programming Languages and Systems, 1985) — David Gelernter
- Minds, Brains, and Programs (1980) — John R. Searle
- The Paradigms of Programming (Communications of the ACM, 1979) — Robert W. Floyd
- Time, Clocks, and the Ordering of Events in a Distributed System (Communications of the ACM, 1978) — Leslie Lamport
- Petri Nets (ACM Computing Surveys, 1977) — James L. Peterson
- Exact Stochastic Simulation of Coupled Chemical Reactions (1977) — Daniel T. Gillespie
- Autopoiesis: The Organization of Living Systems, its Characterization and a Model (1974) — Francisco G. Varela, Humberto R. Maturana, R. Uribe
- The Strength of Weak Ties (1973) — Mark S. Granovetter
- On the Criteria to Be Used in Decomposing Systems into Modules (Communications of the ACM, 1972) — David Lorge Parnas
- Intentional Systems (1971) — Daniel Dennett
- The Architecture of Complexity (1962) — Herbert A. Simon
- La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes natalensis et Cubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs (1959) — Pierre-Paul Grassé
- The Chemical Basis of Morphogenesis (1952) — Alan Mathison Turing
- I.—Computing Machinery and Intelligence (1950) — Alan Mathison Turing
- Principles of Self-Organizing Dynamic Systems (1947) — W. Ross Ashby
- Systems of Logic Based on Ordinals (1939) — Alan Mathison Turing
- On Computable Numbers, with an Application to the Entscheidungsproblem (1937) — Alan Mathison Turing
- Enforcing Fairness via Constraint Injection with FaUCI (2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- On the External Concurrency of Current BDI Frameworks for MAS (EMAS 2024@AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
- Concurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
- Actively Learning Ontologies from LLMs: First Results (Extended Abstract) (DL 2024) — Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi
- LLM-based Solutions for Healthcare Chatbots: a Comparative Analysis (TELMED 2024) — Sara Montagna, Gianluca Aguzzi, Stefano Ferretti, Martino Francesco Pengo, Lorenz Cuno Klopfenstein, Michelangelo Ungolo, Matteo Magnini
- Generation of Clinical Skin Images with Pathology with Scarce Data (AAAI-24) — Andrea Borghesi, Roberta Calegari
- Ensuring Fairness Stability for Disentangling Social Inequality in Access to Education: the FAiRDAS General Method (2024) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
- Approximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (KDD 2024) — Andrea Agiollo, Young In Kim, Rajiv Khanna
- An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
- Peer-Reviewed Federated Learning (WOA 2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini
- Unveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm (2023) — Federico Sabbatini, Roberta Calegari
- FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (2023) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
- Integrating Ontologies and Cognitive Conversational Agents in On2Conv (EUMAS 2023) — Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
- Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023@AAMAS 2023) — Federico Sabbatini, Roberta Calegari
- Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
- Multi-Agent Cooperative Argumentation in Arg2P (AIxIA 2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (AIxIA 2022) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini
- ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023@KR 2023) — Federico Sabbatini, Roberta Calegari
- The PSyKE Technology for Trustworthy Artificial Intelligence (AIxIA 2022) — Roberta Calegari, Federico Sabbatini
- (Re)Integration of Logical English and s(CASP) (2023) — Galileo Sartor, Jacinto Dàvila, Alessia Fidelangeli, Giuseppe Pisano
- A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023@AAMAS 2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
- Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023) — Federico Sabbatini, Roberta Calegari
- The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (EXTRAAMAS 2023@AAMAS 2023) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
- Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini
- Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
- Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques (ECAI-2023) — Federico Sabbatini, Roberta Calegari
- A geometric framework for fairness (2023) — Alessandro Maggio, Luca Giuliani, Roberta Calegari, Michele Lombardi, Michela Milano
- RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa (2023) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi
- Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (2023) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
- Assessing and Enforcing Fairness in the AI Lifecycle (2023) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan
- Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023) — Federico Sabbatini, Roberta Calegari
- Explainable Clustering with CREAM (KR 2023) — Federico Sabbatini, Roberta Calegari
- Measuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023) — Andrea Agiollo, Andrea Omicini
- JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (EUMAS 2023) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
- Logic Programming library for Machine Learning: API design and prototype (CILC 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022) — Federico Sabbatini, Roberta Calegari
- Towards Human-centric AutoML via Logic and Argumentation (DATAPLAT 2022) — Joseph Giovanelli, Giuseppe Pisano
- Modular logic argumentation in Arg-tuProlog (AIxIA 2021) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Taking stock of available technologies for compliance checking on first-order knowledge (CILC 2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022@AAMAS 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Probabilistic logic programming in 2P-Kt (AIxIA 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
- KINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
- GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022) — Andrea Agiollo, Andrea Omicini
- Integration of Logical English and s(CASP) (2022) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022@AAMAS 2022) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Clustering-Based Approaches for Symbolic Knowledge Extraction (2022) — Federico Sabbatini, Roberta Calegari
- Burden of Persuasion in Meta-argumentation (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (2022) — Federico Sabbatini, Roberta Calegari
- Arguing About the Existence of Conflicts (2022) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021@AAMAS 2021) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021@AAMAS 2021) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Towards cooperative argumentation for MAS: An actor-based approach (WOA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (EXTRAAMAS 2021@AAMAS 2021) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
- Breaking down monoliths with Microservices and DevOps: an industrial experience report (2021) — Danilo Pianini, Alessandro Neri
- Programming Agent-Based Mobile Apps: The JaCa-Android Framework (AAMAS 2021) — Angelo Croatti, Alessandro Ricci
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021@AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (2021) — Roberta Calegari, Giovanni Sartor
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- The Burden of Persuasion in Structured Argumentation (2021) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Explainability through argumentation in logic programming (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020) — Andrea Omicini
- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (EUMAS 2020) — Angelo Croatti, Alessandro Ricci
- Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Language Models are Few-Shot Learners (2020) — Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, Dario Amodei
- Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform (EMAS 2020@AAMAS 2020) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
- Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (PAAMS'20) — Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (ISOLA 2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
- A Model for the Burden of Persuasion in Argumentation (JURIX 2020) — Roberta Calegari, Giovanni Sartor
- Arg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (2020) — Stefano Mariani, Franco Zambonelli
- Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- 2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
- An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
- Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (PAAMS'20) — Angelo Croatti, Alessandro Ricci
- Burden of Persuasion in Argumentation (ICLP 2020) — Roberta Calegari, Giovanni Sartor
- Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020@AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (2020) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
- Time-Fluid Field-Based Coordination (2020) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
- Computable Law as Argumentation-based MAS (WOA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- ViTALiSE: Virtual to Augmented Loop in Smart Environments (AAMAS 2019) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
- TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution () — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
- Security in Collective Adaptive Systems: A Roadmap () — Danilo Pianini, Roberto Casadei, Mirko Viroli
- Self-organising Coordination Regions: a Pattern for Edge Computing () — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
- The share Operator for Field-Based Coordination () — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
- Aggregate Processes in Field Calculus () — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
- A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN (2019) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
- Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019@PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
- Engineering Resilient Collaborative Edge-Enabled IoT () — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
- Towards Adaptive Flow Programming for the IoT: The Fluidware Approach () — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration () — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
- On Context-Orientation in Aggregate Programming () — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
- On a Higher-Order Calculus of Computational Fields () — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019@AIIA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
- Case studies for a new IoT programming paradigm: Fluidware (AI&IoT 2019@AIIA 2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
- Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach () — Roberto Casadei, Mirko Viroli
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari
- Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (CBMS 2019) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
- Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
- Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models (2019) — Michele Braccini, Sara Montagna, Andrea Roli
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems () — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
- Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (2019) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018@ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (2018) — Angelo Croatti, Alessandro Ricci
- Combining Trust and Aggregate Computing () — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- Aggregate Graph Statistics (ALP4IoT2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018@WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (2018) — Angelo Croatti, Alessandro Ricci
- Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT () — Roberto Casadei, Mirko Viroli
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things () — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- Space-Time Universality of Field Calculus (ALP4IoT2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
- From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities (ALP4IoT2017) — Stefano Mariani
- Distributed Speaking Objects: a Case for Massive Multiagent Systems () — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (2018) — Sara Montagna, Michele Braccini, Andrea Roli
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Towards a Foundational API for Resilient Distributed Systems Design (2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
- Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration () — Danilo Pianini, Simon Dobson, Mirko Viroli
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea () — Angelo Croatti, Alessandro Ricci
- Preface (A2HC 2017) — Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Spiking Neural Networks as Timed Automata (ALP4IoT2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
- Attention Is All You Need (2017) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin
- Formal Validation of Neural Networks as Timed Automata (2017) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
- Towards the Web of Augmented Things (2017) — Angelo Croatti, Alessando Ricci
- Compositional Blocks for Optimal Self-Healing Gradients () — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
- Modeling Opportunistic IoT Services in Open IoT Ecosystems (WOA 2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment () — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci
- Practical Aggregate Programming with Protelis () — Danilo Pianini, Jacob Beal, Mirko Viroli
- The impact of self-loops in random boolean network dynamics (2017) — Sara Montagna, Michele Braccini, Andrea Roli
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Coordinating Distributed Speaking Objects () — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico Denti
- Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015@AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
- The Butlers Framework for Socio-Technical Smart Spaces (INSCI 2016) — Roberta Calegari, Enrico Denti
- Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (WOA 2016) — Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
- Improving Gossip Dynamics Through Overlapping Replicates () — Danilo Pianini, Jacob Beal, Mirko Viroli
- Run-Time Management of Computation Domains in Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (ECAS 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (AGERE! 2016) — Angelo Croatti, Alessandro Ricci
- On Execution Platforms for Large-scale Aggregate Computing () — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016) — Stefano Mariani, Andrea Omicini
- Game Engines to Model MAS: A Research Roadmap (WOA 2016) — Stefano Mariani, Andrea Omicini
- Self-adaptation to Device Distribution Changes in Situated Computing Systems () — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016) — Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
- Simulating Large-scale Aggregate MASs with Alchemist and Scala () — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Improving Gossip Dynamics Through Overlapping Replicates (COORDINATION 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (UbiComp2016) — Andrea Omicini, Franco Zambonelli
- Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (2016) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Resiliency with Aggregate Computing: State of the Art and Roadmap () — Mirko Viroli, Jacob Beal
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE () — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- Aggregate Programming: From Foundations to Applications () — Jacob Beal, Mirko Viroli
- Towards Aggregate Programming in Scala () — Roberto Casadei, Mirko Viroli
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015@AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Protelis: Practical Aggregate Programming (SAC 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal
- Effective Approaches to Attention-based Neural Machine Translation (2015) — Thang Luong, Hieu Pham, Christopher D. Manning
- Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
- Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015) — Andrea Omicini, Franco Zambonelli
- Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities () — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Neural Machine Translation by Jointly Learning to Align and Translate (2015) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio
- Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (2015) — Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio
- Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (PRIMA 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
- A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
- Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (E4MAS 2014@AAMAS 2014) — Andrea Omicini, Stefano Mariani
- Towards agent aggregates: perspectives and challenges (EMAS 2015@AAMAS 2015) — Mirko Viroli, Alessandro Ricci
- Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015) — Stefano Mariani, Andrea Omicini
- Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015) — Andrea Omicini
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (EMAS 2015@AAMAS 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
- Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
- Computational Fields Meet Augmented Reality: Perspectives and Challenges () — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015@DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Smart Augmented Fields for Emergency Operations (2015) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014) — Stefano Mariani, Andrea Omicini
- Towards a Unified Model of Spatial Computing () — Mirko Viroli
- The Autonomy of Automated Systems (AWS-LEP 2014) — Giovanni Sartor, Andrea Omicini
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Coordination-aware Elasticity (UCC 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
- Building Blocks for Aggregate Programming of Self-Organising Applications () — Jacob Beal, Mirko Viroli
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations () — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani
- On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (SASO 2014) — Stefano Mariani
- Extending a Smart Home Multi-Agent System with Role-Based Access Control (ITS 2014) — Enrico Denti, Roberta Calegari, Marco Prandini
- Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification () — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
- Distributed statistical analysis of complex systems modeled through a chemical metaphor () — Danilo Pianini, Stefano Sebastio, Andrea Vandin
- TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014) — Stefano Mariani, Andrea Omicini
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale () — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
- A calculus of computation fields () — Mirko Viroli, Ferruccio Damiani, Jacob Beal
- Predicting Social Density in Mass Events to Prevent Crowd Disasters. (SocInfo2013) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (CM 2013@SAC 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (2013) — Alessandro Ricci, Andrea Santi
- Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (JAWS 2013@MATES 2013) — Stefano Mariani, Andrea Omicini
- Nature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea Omicini
- Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13) — Andrea Omicini, Stefano Mariani
- Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013@AAMAS 2013) — Stefano Mariani, Andrea Omicini
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013) — Mirko Viroli
- Space-aware Coordination in ReSpecT (WOA 2013) — Stefano Mariani, Andrea Omicini
- Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013) — Andrea Omicini, Pierluigi Contucci
- Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
- Coupling software architecture and human architecture for collaboration-aware system adaptation () — Christoph Dorn, Richard N Taylor
- Domain Independent Text Categorization () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (SCW 2013@AAMAS 2013) — Sara Montagna, Mirko Viroli
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013) — Stefano Mariani
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Stefano Mariani, Andrea Omicini
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea Omicini
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013@SAC 2013) — Stefano Mariani, Andrea Omicini
- Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012) — Marco Alberti, Andrea Omicini
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments () — Mirko Viroli, Danilo Pianini, Jacob Beal
- Is It a “Good” Encoding of Mixed Choice? (2012) — Kirstin Peters, Uwe Nestmann
- Molecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL () — Andrea Santi, Alessandro Ricci
- Typing Multi-Agent Programs in simpAL () — Alessandro Ricci, Andrea Santi
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach () — Alessandro Ricci, Andrea Santi
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Programming Distributed Multi-Agent Systems in simpAL () — Andrea Santi, Alessandro Ricci
- Self-Organising News Management: The Molecules of Knowledge Approach (SASO 2012) — Stefano Mariani, Andrea Omicini
- Self-organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea Omicini
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications () — Christoph Dorn, Richard N Taylor
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core (2012) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- On the Space-time Situation of Pervasive Service Ecosystems () — Mirko Viroli, Graeme Stevenson
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012@SASO 2012) — Stefano Mariani, Andrea Omicini
- Bottom-Up Argumentation (2012) — Francesca Toni, Paolo Torroni
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012@SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- On the Space-time Situation of Pervasive Service Ecosystems (2012) — Mirko Viroli, Graeme Stevenson
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks () — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
- VPN - Client-server object-oriented virtual plant modeling tool (2012) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions () — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs () — Stefan J. Witwicki, Edmund H. Durfee
- Deep diving into BitTorrent locality () — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
- Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
- Facing Openness with Socio Cognitive Trust and Categories (2011) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture () — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case () — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- JaCa-Android: an agent-based platform for building smart mobile applications () — Andrea Santi, Alessandro Ricci
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems () — Clare Dixon, Alan Winfield, Micheal Fisher
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- BDI Agents with Objectives and Preferences (DALT 2010@AAMAS 2010) — Aniruddha Dasgupta, Aditya K. Ghose
- Programming Coordination Laws of Artifacts in CArtAgO (CM 2011@SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
- Model-driven communications and collaborative software development () — Antonio Natali
- Self-aware Pervasive Service Ecosystems (2011) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (2011) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming () — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
- Coordinating Spatially-Situated Pervasive Service Ecosystems (WOA 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Description Spaces with Fuzziness (CM 2011@SAC 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
- A Coordination Approach to Adaptive Pervasive Service Ecosystems () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (2011) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
- Processes Engineering and AOSE (2011) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project () — Alessandro Ricci, Andrea Santi
- An interaction-oriented agent framework for open environments (2011) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
- Exploiting the JaCaMo framework for realising an adaptive room governance application () — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
- BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Simulation Framework for Pervasive Services Ecosystems (WOA 2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (AAMAS 2011) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
- Software Engineering for Self-Organizing Systems () — H. Van Dyke Parunak, Sven A. Brueckner
- The O-MaSE Process: a Standard View (FIPA-DPDF@MALLOW 2010) — Juan C. Garcia-Ojeda, Scott DeLoach
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
- Simulation and Analysis of Distributed Systems in Klaim () — Francesco Calzolai, Michele Loreti
- Programming Open Systems with Agents, Environments and Organizations () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (FIPA-DPDF@MALLOW 2010) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications () — Andrea Santi, Guidi Marco, Alessandro Ricci
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Applying Process Document Standarization to INGENIAS (FIPA-DPDF@MALLOW 2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (FIPA-DPDF@MALLOW 2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development () — Andrea Santi
- Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010) — Andrea Santi, Marco Guidi, Alessandro Ricci
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments () — Alessandro Ricci, Mirko Viroli, Michele Piunti
- A Basis Set of Operators for Space-Time Computations () — Jacob Beal
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments () — Alessandro Ricci, Andrea Santi, Michele Piunti
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
- Process Documentation Standardization: An Initial Evaluation (FIPA-DPDF@MALLOW 2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications () — Mattia Minotti, Andrea Santi, Alessandro Ricci
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (FIPA-DPDF@MALLOW 2010) — Sergio Esparcia, Estefania Argente, Vicent Botti
- Transitivity in Trust. A Discussed Property (WOA 2010) — Rino Falcone, Cristiano Castelfranchi
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Simulate plants: a client-server graphic approach (2010) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
- Chemical-Inspired Self-Composition of Competing Services (SAC 2010) — Mirko Viroli, Matteo Casadei
- An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (2010) — Sara Montagna, Nicola Donati, Andrea Omicini
- Engineering Self-Coordinating Software Intensive Systems () — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
- Using Domain Specific Languages for platform-based software development: The case of Android () — Antonio Natali, Ambra Molesini
- Interacting with Virtual Plants: a Client-Server Approach (2010) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (2010) — Bo Sun Conghua Zhou, Liu Zhifeng
- A Framework for Modelling and Simulating Networks of Cells (2010) — Sara Montagna, Mirko Viroli
- Developing Web Client Applications with JaCa-Web (WOA 2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Formal Verification of Probabilistic Swarm Behaviours () — Savas Konur, Clare Dixon, Michael Fisher
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments () — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) () — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems () — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
- Exploring the Boundaries: When Method Fragmentation is not Convenient (FIPA-DPDF@MALLOW 2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
- Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010) — Ambra Molesini, Andrea Omicini
- Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010@SAC 2010) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (WOA 2010) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Embodying Organisations in Multi-Agent Work Environments (2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Biochemical Tuple Spaces for Self-Organising Coordination () — Mirko Viroli, Matteo Casadei
- Knowledge-based coordination with a reliable semantic subscription mechanism () — Martin Murth, Eva Kuhn
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications () — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Embodied Organisations in MAS Environments () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009@SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- Interactive Graphical Maps for Infocenter via Model to Model Transformation () — Enrico Oliva
- Gaia4E: A Tool Supporting the Design of MAS using Gaia (2009) — Luca Cernuzzi, Franco Zambonelli
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Manipulation implicite d'une organisation multiagent via l'environnement () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys () — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
- Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments () — Michele Piunti, Andrea Santi, Alessandro Ricci
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
- A MAS Metamodel-Driven Approach to Process Fragments Selection (2009) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
- A SOA Based Software Engineering Design Approach in Service Engineering () — Weider D. Yu, Chia H. Ong
- Introducing Relevance Awareness in BDI Agents () — Emiliano Lorini, Michele Piunti
- Modelling Periodic Data Dissemination in Wireless Sensor Networks () — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces () — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
- Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
- A Process Model of Actin Polymerisation () — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
- A computational framework for modelling multicellular biochemistry (2009) — Sara Montagna, Mirko Viroli
- An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (2009) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
- Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments () — Alessandro Ricci, Michele Piunti
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
- A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
- An Agent-based Application for Home Intelligence (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Formalising the Environment in MAS Programming: a Formal Model () — Alessandro Ricci, Mirko Viroli, Michele Piunti
- A Goal-Oriented Approach for Modelling Self-organising MAS (ESAW 2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts () — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia () — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
- Empirical comparison of methods for information systems development according to SOA () — Philipp Offermann, Udo Bub
- Introducing Relevance Awareness in BDI Agents () — Emiliano Lorini, Michele Piunti
- Parameter tuning of a stochastic biological simulator by metaheuristics (2009) — Sara Montagna, Andrea Roli
- A Semantic eScience Portal for International Scientific and Academic Cooperation (2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
- Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA () — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009) — Michele Piunti, Alessandro Ricci, Andrea Santi
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments () — Michele Piunti, Alessandro Ricci
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (2009) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
- Model-driven Generation of Graphical Maps for e-Contents (2008) — Antonio Natali, Enrico Oliva, Cristina Bonanni
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (2008) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
- Fast self-healing gradients. () — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
- Toward a Framework for Collaborative Learning based on Agent-based Technologies (2008) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (EUMAS 2008) — Michele Piunti, Alessandro Ricci
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study () — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
- Designing a Development Environment for Logic and Multi-Paradigm Programming (2008) — Giulio Piancastelli, Enrico Denti
- Hierarchical Modeling for Computational Biology () — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Tool-Supported Development with Tropos: The Conference Management System Case Study () — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (2008) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
- Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008@WET ICE 2008) — Matteo Casadei, Andrea Omicini
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus () — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications () — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets () — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
- The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Agent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms () — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (2008) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
- Co-Argumentation Artifact for Agent Societies (2008) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Introducing Join-Computing (2008) — Giacomo Cabri
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks () — Matteo Casadei, Mirko Viroli
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Logic Programming Model for Web Resources (2008) — Giulio Piancastelli, Andrea Omicini
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments () — Michele Piunti, Alessandro Ricci
- Agent Roles: from Methodologies to Infrastructures (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine (2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems (IDC 2008) — Franco Zambonelli, Mirko Viroli
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems () — Daniel Yamins, Radhika Nagpal
- Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Agent-oriented AmI Engineering (2008) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems () — Mario Bravetti
- Introduction to AOSE Tools for the Conference Management System () — Lin Padgham, Michael Luck
- A Multi-Theory Logic Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
- Methodologies for Designing Agent Societies (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Arguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- From AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis () — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
- Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- An experimental environment for teaching Java Security (2008) — Anna Riccioni, Enrico Denti, Roberto Laschi
- On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition () — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- The BlenXLanguage: A Tutorial () — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS () — Michele Piunti, Alessandro Ricci
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring () — Florian Fuchs, Michael Berger
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking () — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
- Integrating Java and Prolog through Generic Methods and Type Inference (2008) — Maurizio Cimadamore, Mirko Viroli
- Simulation Methods in Systems Biology () — Daniel T. Gillespie
- SPEM on Test: the SODA Case Study (2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (2008) — Sara Montagna, Andrea Omicini, Marco Alberti
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments () — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008@WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- The Prometheus Design Tool – A Conference Management System Case Study () — Lin Padgham, John Thangarajah, Michael Winikoff
- Invited Talk: A Process Algebra Master Equation () — Luca Cardelli
- Auction Negotiation for Mobile Rideshare Service (2007) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
- On the Problem of Over-clustering in Tuple-based Coordination Systems () — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Service-Oriented Agent Methodologies (WET ICE 2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- On the Interplay of Crosscutting and MAS-Specific Styles () — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- Governing Environments for Agent-Based Traffic Simulations (CEEMAS 2007) — Michael Schumacher, Laurent Grangier, Radu Jurca
- Using Eclipse in Building Model-driven e-Learning Supports (2007) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
- A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli
- Extrospection: Agents Reasoning About the Environment () — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
- Formal ReSpecT in the A&A Perspective (2007) — Andrea Omicini
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- A Survey of Service Oriented Development Methodologies () — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (2007) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
- Exploiting the Environment for Coordinating Agent Intentions () — Tom Holvoet, Paul Valckenaers
- Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Practical Extensions in Agent Programming Languages () — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
- Measurement and Control of Self-organised Behaviour in Robot Swarms () — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology () — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
- Co-Argumentation Artifact for Agent Societies (2007) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Building Smart Environments as Agent Workspaces (CoMA 2007@WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Large Language Models in Machine Translation (2007) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (WOA 2007) — Alessandro Ricci, Enrico Denti
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates () — George Jiri Mejtsky
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2007) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
- Towards Integrating Agents with Objects Tracing Systems in AmI (EUMAS 2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case () — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces () — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Experiences in Automated Workflows using Dialectical Argumentation (2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (2007) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java () — Alessandro Ricci, Mirko Viroli
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach (2007) — Volha Bryl, Paolo Giorgini, John Mylopoulos
- An Agent-Oriented Programming Model for SOA & Web Services (2007) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (2007) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Evaluating Procedural Alternatives. A Case Study in E-Voting (2007) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
- Geo-Linda: a Geometry Aware Distributed Tuple Space () — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design () — Olaf Zimmermann, Jana Koehler, Leymann Frank
- Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Context-Dependent Evaluation Methodology for Open Source Software () — Michele Cabano, Cesare Monti, Giulio Piancastelli
- Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- vLab: an Eclipse-based Virtual Laboratory (2007) — Anna Riccioni, Enrico Denti
- Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- OWL-S for Describing Artifacts (EUMAS 2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (2006) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
- SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
- A Framework for Engineering Interactions in Java-based Component Systems (2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- The MHS Methodology: Analysis and Design for Context-Aware Systems () — Evi Syukur, Seng Wai Loke
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents () — Charles M. Macal, Michael J. North
- An agent oriented tool for method engineering (EUMAS 2008) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (2006) — L. Robert Pokorny, C. R. Ramakrishnan
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (2006) — Rafael H. Bordini, Jomi F. Hübner
- Zooming Multi-Agent Systems (2006) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (2006) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source () — Michele Cabano, Cesare Monti, Giulio Piancastelli
- Verification of Multi-agent Systems Via Bounded Model Checking () — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
- A Survey of Environments and Mechanisms for Human-Human Stigmergy (E4MAS 2005) — H. Van Dyke Parunak
- The Fading Concept in Tuple-Space Systems () — Ronaldo Menezes, Alan Wood
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Formal ReSpecT in the A&A Perspective (2006) — Andrea Omicini
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications () — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
- A Design Theory for Pervasive Information Systems () — Panos E. Kourouthanassis, George M. Giaglis
- SPI - A Role for Method Engineering () — Brian Henderson-Sellers
- Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- Linkable Coordination Artifacts for Inter-Organisational Workflow (2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer () — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
- Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Web Services Implementation Methodology for SOA Application () — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
- Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology () — Luca Cernuzzi, Franco Zambonelli
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Probabilistic Linda-based Coordination Languages () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware () — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Towards CSpaces: A New Perspective for the Semantic Web () — Francisco Martín-Recuerda
- Programming Stigmergic Coordination with the TOTA Middleware () — Marco Mamei, Franco Zambonelli
- “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- An Agent-Oriented Conceptual Framework for Systems Biology (2005) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Developing MAS Solutions with Gaia and AUML () — Luca Cernuzzi, Franco Zambonelli
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
- Agent Interaction Semantics by Timed Operating Instructions () — Mirko Viroli, Alessandro Ricci
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Effective Tool Use in a Habile Agent () — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
- Drago: Distributed reasoning architecture for the semantic web () — Luciano Serafini, Andrei Tamilin
- Environment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (CEEMAS 2005) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
- Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- RBAC for Organisation and Security in an Agent Coordination Infrastructure (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Coordination and Composition in Multi-agent Systems () — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (CEEMAS 2005) — Brian Henderson-Sellers
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts () — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
- Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- A Trust Analysis Methodology for Pervasive Computing Systems () — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
- Zooming Multi-Agent Systems (2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda () — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Distributed Instance Retrieval in Heterogeneous Ontologies () — Luciano Serafini, Andrei Tamilin
- Verifying Multi-agent Systems via Unbounded Model Checking () — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
- More Principled Design of Pervasive Computing Systems () — Simon Dobson, Paddy Nixon
- Composition of a New Process to Meet Agile Needs Using Method Engineering (2005) — Massimo Cossentino, Valeria Seidita
- A Semantics for the Interaction of Agents with Coordination Artifacts (2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model () — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools () — Andrei Borshchev, Alexei Filippov
- MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (ESAW 2003) — Andrea Omicini, Alessandro Ricci
- Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004) — Alessandro Ricci, Andrea Omicini
- Verifiable Multi-agent Programs () — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- C@sa: Intelligent Home Control and Simulation (2004) — Berardina De Carolis, Giovanni Cozzolongo
- Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems () — Ivana Gungui, Viviana Mascardi
- sTuples: Semantic Tuple Spaces () — Deepali Khushraj, Ora Lassila, Tim Finin
- A Programming Language for Cognitive Agents: Goal Directed 3APL () — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
- MAS as Complex Systems: A View on the Role of Declarative Approaches (DALT 2003@AAMAS 2003) — Andrea Omicini, Franco Zambonelli
- Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (ESAW 2003) — Enrico Denti, Alessandro Ricci, Rossella Rubino
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Agent Coordination Context: From Theory to Practice (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- sTuples: Semantic Tuple Spaces () — Deepali Khushraj, Ora Lassila, Timothy W. Finin
- Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin
- Probabilistic KLAIM () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (2004) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic () — Laura Giordano, Alberto Martelli, Camilla Schwind
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware () — Marco Mamei, Franco Zambonelli
- An Agent-oriented Conceptual Framework for Biological Systems Simulation (2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- Paradigm and Software Engineering () — Erek Göktürk, M. Naci Akkøk
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
- Towards Seamless Agent Middleware (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Giovanni Rimassa
- Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information () — Dieter Fensel
- Using Swarm Intelligence in Linda Systems (ESAW 2003) — Robert Tolksdorf, Ronaldo Menezes
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Experiencing AUML in the GAIA Methodology () — Luca Cernuzzi, Franco Zambonelli
- Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
- From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs () — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
- MavHome: An Agent-based Smart Home () — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
- Signs of a Revolution in Computer Science and Software Engineering (ESAW 2002) — Franco Zambonelli, H. Van Dyke Parunak
- A software framework for matchmaking based on semantic web technology () — Lei Li, Ian Horrocks
- Adaptiveness in Linda-Based Coordination Models () — Ronaldo Menezes, Robert Tolksdorf
- Learning the Sequential Coordinated Behavior of Teams from Observations () — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
- Task-Oriented Engineering of Coordinated Software Systems (2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
- Quantitative Relations and Approximate Process Equivalences () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
- Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
- Modeling Agents and their Environment () — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
- Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (ESAW 2002) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
- Supporting Coordination in Open Computational Systems with TuCSoN (TAPOCS 2003@WET ICE 2003) — Alessandro Ricci, Andrea Omicini
- Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
- Towards a Methodology for Coordination Mechanism Selection in Open Systems (ESAW 2002) — Simon Miles, Mike Joy, Michael Luck
- Objective versus Subjective Coordination in the Engineering of Agent Systems (2003) — Andrea Omicini, Sascha Ossowski
- A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
- Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (2002) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
- Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
- The TROPOS Analysis Process as Graph Transformation System () — Paolo Bresciani, Paolo Giorgini
- Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology () — Anna Perini, Angelo Susi, Fausto Giunchiglia
- Model Checking Multi-Agent Systems with MABLE () — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
- Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
- Agent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea Omicini
- Tuple-based Coordination Models in Event-based Scenarios () — Mirko Viroli, Alessandro Ricci
- On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
- Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (AAMAS 2002) — H. van Dyke Parunak, Sven Brueckner, John Sauter
- Extreme Programming of Multi-Agent Systems (AAMAS 2002) — Holger Knublauch
- Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
- Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
- Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources () — Alex Borgida, Luciano Serafini
- Agile development of a clinical multi-agent system: An Extreme Programming case study () — Holger Knublauch, Holger Koeth, Thomas Rose
- Agent-based approach for software development process simulation () — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
- Linear Embedding for a Quantitative Comparison of Language Expressiveness () — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
- Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Coordination Tools for the Development of Agent-based Systems (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Agent-Based Modeling: Methods and Techniques for Simulating Human Systems () — Eric Bonabeau
- Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002@ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
- A Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
- An Assembly Process Model for Method Engineering () — Jolita Ralyté, Colette Rolland
- The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2001) — Andrea Omicini
- Designing Agent-Oriented Systems by Analysing Agent Interactions () — Simon Miles, Mike Joy, Michael Luck
- Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- An Approach for Method Reengineering () — Jolita Ralyté, Colette Rolland
- Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
- Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini
- EasyLiving: Technologies for Intelligent Environments () — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
- Mind the Gap! Towards a unified view of CSCW () — Kjeld Schmidt, Carla Simone
- Persistent Turing Machines as a Model of Interactive Computation () — Dina Q. Goldin
- Context-Dependency in Internet-Agent Coordination (ESAW'00@ECAI 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2000) — Andrea Omicini
- The LuCe Coordination Technology for MAS Design and Development on the Internet (2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
- Multiagent System Engineering: The Coordination Viewpoint (2000) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea Omicini
- Ruling Agent Motion in Structured Environments (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Formal ReSpecT (2000) — Andrea Omicini, Enrico Denti
- Hybrid Coordination Models for Handling Information Exchange among Internet Agents (2000) — Andrea Omicini
- Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999@SAC 1999) — Andrea Omicini, Franco Zambonelli
- A Methodology for Agent-Oriented Analysis and Design () — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Adopting an Object-Oriented Data Model in Inductive Logic Programming (1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
- Building Mobile Agent Applications in HiMAT (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Engineering Multi-Agent Systems in LuCe (1999) — Enrico Denti, Andrea Omicini
- The UMASS Intelligent Home Project () — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
- Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- The Explorable Topology: Supporting Agent Autonomy on the Internet (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
- Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
- The HiMAT Model for Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999) — Andrea Omicini
- Coinductive Models of Finite Computing Agents () — Peter Wegner, Dina Goldin
- Distributed Cognition, Coordination and Environment Design () — David Kirsh
- Comparing Coordination Models based on Shared Distributed Replicated Data (CM @ SAC 1999@SAC 1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
- On the Expressiveness of Coordination Models () — Antonio Brogi, Jean-Marie Jacquet
- Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999@SAC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- A Formal Specification of dMARS (1998) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
- Towards a Hierarchy of Negative Test Operators for Generative Communication () — Gianluigi Zavattaro
- Designing for the Dynamics of Cooperative Work Activities () — Jakob Bardram
- TuCSoN: a Coordination model for Mobile Information Agents (IIIS-98@CAiSE'98) — Andrea Omicini, Franco Zambonelli
- A Fuzzy Description Logic () — Umberto Straccia
- Coordination of Mobile Agents for Information Systems: the TuCSoN Model (1998) — Andrea Omicini, Franco Zambonelli
- A Comprehensive View of Process Engineering () — Colette Rolland
- On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998@SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
- Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (1998) — Cristiano Castelfranchi, Rino Falcone
- Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- Issues in Agent-Based Software Engineering () — Michael J. Wooldridge
- Learning with an Object-Oriented Data Model (1997) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
- Designing Multi-Agent Systems around a Programmable Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
- Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (1997) — Leon J. Osterweil
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (1996) — Anand S. Rao
- Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
- An Object-Oriented Approach to Planning (1996) — Umberto Fonda, Antonio Natali, Andrea Omicini
- Integrating Knowledge Acquisition in Plan Selection (1996) — Antonio Natali, Andrea Omicini
- Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents () — Stan Franklin, Art Graesser
- An Extensible Framework for the Development of Coordinated Applications (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
- A Software Environment for Concurrent Coordinated Programming () — Anne-Alexandra Holzbacher
- A Petri Net Semantics for pi-Calculus () — Nadia Busi, Roberto Gorrieri
- Integration of object-oriented analysis and performance simulation for engineering computer-based systems () — Richard Goldgar, Ramon D. Acosta
- BDI Agents: From Theory to Practice (1995) — Anand S. Rao, Michael P. Georgeff
- Law-Governed Linda as a Coordination Model () — Naftaly H. Minsky, Jerrold Leichter
- Guarantees for Autonomy in Cognitive Agent Architecture (1995) — Cristiano Castelfranchi
- Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali
- Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali
- A Structured Logic Programming Approach to Robot Programming (1994) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
- Open Logic Theory Composition in a Software Engineering Perspective (1994) — Enrico Denti, Andrea Omicini
- A Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
- Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
- Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
- Objects with State in CSM (1993) — Antonio Natali, Andrea Omicini
- Foundations for Interaction: The Dependence Theory () — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
- From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
- Parallel Logic Programming using the Linda Model of Computation () — Paolo Ciancarini
- Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
- An Abstract Architecture for Rational Agents () — Anand S. Rao, Michael P. Georgeff
- Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini
- Barbed Bisimulation () — Robin Milner, Davide Sangiorgi
- Generalizing Term Subsumption Languages to Fuzzy Logic () — John Yen
- Intelligence Without Reason () — Rodney A. Brooks
- The Concept of Activity as a Basic Unit of Analysis for CSCW Research () — Kari Kuutti
- Modeling Rational Agents within a BDI Architecture () — Anand S. Rao, Michael P. Georgeff
- Separating Concurrent Languages with Categories of Language Embeddings () — Ehud Shapiro
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes (1990) — Ivan Christoff
- Equivalences, congruences, and complete axiomatizations for probabilistic processes (1990) — Chi-Chang Jou, Scott A. Smolka
- Software Processes are Software too () — Leon J. Osterweil
- Reactive Reasoning and Planning () — Michael P. Georgeff, Amy L. Lansky
- The consensus problem in unreliable distributed systems (a brief survey) () — Michael J Fischer
- Distributed Commit With Bounded Waiting (1982) — Danny Dolev, H. Raymond Strong
- MDE & MDA in a Multi-Paradigm Modeling Perspective (2021) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Agent-based Modelling in Multicellular Systems Biology (2020) — Sara Montagna, Andrea Omicini
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (, 2019) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
- Democratic Process and Digital Platforms: An Engineering Perspective (The Future of Digital Democracy. An Interdisciplinary Approach, 2019) — Danilo Pianini, Andrea Omicini
- Programming Actor-Based Collective Adaptive Systems (, 2018) — Roberto Casadei, Mirko Viroli
- Agent-based Modelling in Multicellular Systems Biology (2017) — Sara Montagna, Andrea Omicini
- The Autonomy of Technological Systems and Responsibilities for their Use (2016) — Giovanni Sartor, Andrea Omicini
- The IEEE-FIPA Standard on the Design Process Documentation Template (, 2014) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
- Bridging the Symbolic/Subsymbolic Gap (Engineering General Intelligence, Part 2, 2014) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
- Argumentation and Artifacts for Negotiation Support (, 2014) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- Introduction (, 2014) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
- The Gaia Methodology Process (Handbook on Agent-Oriented Design Processes, 2014) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini
- The SODA Methodology: Meta-Model and Process Documentation (Handbook on Agent-Oriented Design Processes, 2014) — Ambra Molesini, Andrea Omicini
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (, 2014) — Artur Arsénio, Hugo Serra, Rui Francisco, Fernando Nabais, João Andrade, Eduardo Serrano
- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (2013) — Alessandro Ricci, Andrea Santi
- TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (2013) — Stefano Mariani, Andrea Omicini
- Collaborative Learning and ICT: A Prototypal Learning Environment (2013) — Maria Cristina Matteucci, Elena Nardini, Andrea Omicini
- Organizing the Aggregate: Languages for Spatial Computing (, 2013) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
- A Computational Framework for Multilevel Morphologies (2012) — Sara Montagna, Mirko Viroli
- Agents Writing on Walls: Cognitive Stigmergy and Beyond (2012) — Andrea Omicini
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (2012) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
- Middleware Infrastructures for Self-organising Pervasive Computing Systems (, 2011) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
- Self-organising Knowledge-intensive Workspaces (2011) — Andrea Omicini
- Towards Social-ICT Organisms (, 2011) — Franco Zambonelli
- Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (2010) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (, 2010) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
- Environment Programming in CArtAgO (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
- Agents, Intelligence, and Tools (2009) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
- Agent-based Modelling of Stem Cells (2009) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS (2009) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Description Logics (2008) — Franz Baader, Ian Horrocks, Ulrike Sattler
- Towards a Logic Language and Framework for Web Programming (2008) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Intentional Systems Theory (, 2007) — Daniel Dennett
- Standardizing Agent Communication (, 2006) — Yannis Labrou
- Cognitive Modeling of Social Behaviours (, 2006) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (2006) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- The World According To Brahms: Modeling and Simulating Work Practice (, 2006) — Maarten Sierhuis
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Programming Multi-Agent Systems in 3APL (, 2005) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
- Crowd Modeling and Simulation: Towards 3D Visualization (, 2005) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- The Gaia Methodology (, 2004) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
- Online Engineering and Open Computational Systems (, 2004) — Martin Fredriksson, Rune Gustavsson
- Model Checking for ACL Compliance Verification (, 2004) — Marc-Philippe Huget, Michael J. Wooldridge
- Coordination Infrastructures in the Engineering of Multiagent Systems (2004) — Andrea Omicini, Sascha Ossowski, Alessandro Ricci
- Stochastic models for DNA replication (, 2003) — Richard Cowan
- Towards a Notion of Agent Coordination Context (2002) — Andrea Omicini
- Co-operating Sequential Processes (, 2002) — Edsger Wybe Dijkstra
- Agent-Oriented Software Engineering for Internet Applications (Coordination of Internet Agents, 2001) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
- Probabilistic Extensions of Process Algebras (, 2001) — Jonsson Bengt, Kim G. Larsen, Wang Yi
- Gamma and the Chemical Reaction Model: Fifteen Years After (, 2001) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
- Tuple-based Technologies for Coordination (Coordination of Internet Agents, 2001) — Davide Rossi, Giacomo Cabri, Enrico Denti
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations (, 2001) — Ian Foster
- Coordination Models and Languages (, 1998) — George A. Papadopoulos, Farhad Arbab
- Distributed Agents Supporting Event-Driven Design Processes (, 1998) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
- Semantics and Conversations for an Agent Communication Language (, 1997) — Yannis Labrou, Tim Finin
- Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (1997) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory
- Robot Control Systems as Contextual Logic Programs (1995) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
- La programmazione logica nello sviluppo del software: dai modelli agli strumenti (1995) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- Scale in Distributed Systems (, 1994) — B. Clifford Neuman
- Moving Prolog Toward Objects (1994) — Enrico Denti, Antonio Natali, Andrea Omicini
- A History of Speculation on the Relation between Tools and Languages (, 1993) — Gordon W. Hewes
- Methodology EngineeringR: a proposal for situation-specific methodology construction (, 1992) — Kuldeep Kumar, Richard J. Welke
- Cognitive Artifacts (, 1991) — Donald A. Norman
- What is Intention? (1990) — Michael E. Bratman, Andrea Roli
- Situated Actions (, 1987) — Lucy A. Suchman
- Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications (, 1986) — Marc Mézard, Giorgio Parisi, Miguel Angel Virasoro
- Basic Modal Logic (1984) — Robert Bull, Krister Segerberg
- Ascribing Mental Qualities to Machines (, 1979) — John McCarthy
- What is a Speech Act? (, 1965) — John Searle
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (2022) — Adrian A. Hopgood
- Artificial Intelligence: A Modern Approach (2021) — Stuart J. Russell, Peter Norvig
- Multi-Agent Oriented Programming (2020) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci
- Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK (2016) — Stefano Mariani
- Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems (2016) — Darius Plikynas
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (2014) — Bernd Rosslenbroich
- Engineering General Intelligence, Part 2 (2014) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
- Distributed Systems. Concepts and Design (2012) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
- Perspectives on Spin Glasses (2012) — Pierluigi Contucci, Cristian Giardinà
- Global Democracy: Normative and Empirical Perspectives (2011) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
- Distributed Computing. Principles, Algorithms, and Systems (2011) — Ajay D. Kshemkalyani, Mukesh Singhal
- Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (2011) — Daniele Archibugi, Andrea Filippetti
- An introduction to Bisimulation and Coinduction (2011) — Davide Sangiorgi
- Trust Theory: A Socio-Cognitive and Computational Model (2010) — Christiano Castelfranchi, Rino Falcone
- The Description Logic Handbook: Theory, Implementation, and Applications (2010) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
- Artificial Intelligence: A Modern Approach (2010) — Stuart J. Russell, Peter Norvig
- Information, Physics, and Computation (2009) — Marc Mézard, Andrea Montanari
- Costruire sistemi software: dai modelli al codice (2009) — Antonio Natali, Ambra Molesini
- The Craft of Prolog (2009) — Richard O'Keefe
- An Introduction to MultiAgent Systems (2009) — Michael J. Wooldridge
- La costruzione dei sistemi software: dai modelli al codice (2008) — Antonio Natali, Ambra Molesini
- La cultura componibile. Dalla frammentazione alla disgregazione del sapere (2008) — Lucio Russo
- Developing Multi-Agent Systems with JADE (2007) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
- Distributed Systems. Principles and Paradigms (2007) — Andrew S. Tanenbaum, Marteen van Steen
- RESTful Web Services (2007) — Leonard Richardson, Sam Ruby
- Sistemi Distribuiti (2007) — Andrew S. Tanenbaum, Marteen van Steen
- Programming Multi-Agent Systems in AgentSpeak using Jason (2007) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
- The Plausibility of Life: Resolving Darwin's Dilemma (2006) — Marc W. Kirschner, John C. Gerhart
- Fundamentals of natural computing: basic concepts, algorithms, and applications (2006) — Leandro Nunes De Castro
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (2006) — Marco Mamei, Franco Zambonelli
- Reliable Distributed Systems. Technologies, Web Services, and Applications (2005) — Kenneth P. Birman
- Ant Colony Optimization (2004) — Marco Dorigo, Thomas Stützle
- Decision Support Systems and Intelligent Systems (2004) — Efraim Turban, Jay E. Aronson, Ting-Peng Liang
- Introduzione alla Programmazione a oggetti in Java (2003) — Enrico Denti
- Investigations (2003) — Stuart A. Kauffman
- Lean Software Development: An Agile Toolkit (2003) — Mary Poppendieck, Tom Poppendieck
- Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management (2003) — Jean-Philippe Bouchaud, Marc Potters
- An Introduction to MultiAgent Systems (2002) — Michael J. Wooldridge
- The Logic of Scientific Discovery (2002) — Karl Raimund Popper
- Objective Coordination in Multi-Agent System Engineering (2001) — Michael Schumacher
- The OPEN Process Framework: An Introduction (2001) — Donald Firesmith, Brian Henderson-Sellers
- Statistical Physics of Spin Glasses and Information Processing: An Introduction (2001) — Hidetoshi Nishimori
- Introduzione alla Programmazione a oggetti in Java (2001) — Enrico Denti
- Introduzione alla Programmazione a oggetti in Java (2000) — Enrico Denti
- Folk Physics for Apes: The Chimpanzee's Theory of How the World Works (2000) — Daniel J. Povinelli
- Fondamenti di Informatica A (Parte II) (2000) — Enrico Denti
- Introduction to Econophysics: Correlations and Complexity in Finance (1999) — Rosario N. Mantegna, H. Eugene Stanley
- Extreme Programming Explained: Embrace Change (1999) — Kent Beck
- Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (1999) — Eric Freeman, Susanne Hupfer, Ken Arnold
- Co-ordination in Artificial Agent Societies (1999) — Sascha Ossowski
- Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (1999) — Enrico Denti
- Fondamenti di Informatica A (Parte I) (1999) — Enrico Denti
- Swarm Intelligence: From Natural to Artificial Systems (1999) — Eric Bonabeau, Marco Dorigo, Guy Theraulaz
- Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature? (1998) — Gustave Martelet
- Intelligent Decision Support Methods: The Science of Knowledge Work (1997) — Vasant Dhar, Roger M. Stein
- Situational Method Engineering (1997) — A.F. Harmsen
- The Structure of Scientific Revolutions (1996) — Thomas S. Kuhn
- Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (1995) — Enrico Denti, Antonio Natali
- The Origins of Order: Self-organization and Selection in Evolution (1993) — Stuart A. Kauffman
- Co-ordinating Plans of Autonomous Agents (1992) — Frank von Martial
- Intention, Plans, and Practical Reason (1987) — Michael E. Bratman
- Foundations of Logic Programming (1984) — John W. Lloyd
- Autopoiesis and Cognition: The Realization of the Living (1980) — Humberto R. Maturana, Francisco G. Varela
- Mind in Society: Development of Higher Psychological Processes (1978) — Lev Semenovich Vygotskiĭ
- Mind in Society (1978) — Lev Semyonovich Vygotsky
- A Structure for Plans and Behavior (1977) — Earl D. Sacerdoti
- Lectures on Gas Theory (1964) — Ludwig Boltzmann
- Principia Mathematica (1927) — Alfred North Whitehead, Bertrand Russell
- Intelligent Agents and Environment (2019) — Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
- Socio-technical systems (2006) — Brian Whitworth
- ReSpecT Guide (2008) — Matteo Casadei, Andrea Omicini
- BibTeXing (1988) — Oren Patashnik
- Designing BibTeX Styles (1988) — Oren Patashnik
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (2013) — Stefano Mariani
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (2013) — Stefano Mariani
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (2011) — Andrea Argentini, Enrico Blanzieri
- A Formal Definition of Colture (2009) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (2008) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
- A Multi-Theory Logic Programming Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
- What is “paradigm”? (2007) — Erek Göktürk
- Decentralized Regulation of Distributed Systems: Beyond Access Control (2007) — Naftaly H. Minsky
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae (2007) — Nicola Segata, Enrico Blanzieri, Corrado Priami
- Process Calculi Abstractions for Biology (2006) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
- StoKlaim: A Stochastic Extension of Klaim (2006) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
- Mathematical Models of Interactive Computing (1999) — Peter Wegner, Dina Goldin
- Implementing the ACLT Coordination Model (1999) — Enrico Denti
- On the Incomparability of Gamma and Linda (1998) — Gianluigi Zavattaro
- Expressive Power of the ACLT Reaction Specification Language (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- Trading Consistency for Availability in Distributed Systems (1996) — Roy Friedman, Ken Birman
- A General Framework for Multi-Theory Logic Languages (1996) — Andrea Omicini
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
- Supporto alla Comunicazione Remota in MME 3 (1992) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
- The Semantics of a Parallel Language based on a Shared Data Space (1992) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
- CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini
- IEEE Standard Glossary of Software Engineering Terminology (1990) — IEEE Standard Board
- Foundations of Knowledge for Distributed Systems (1985) — Michael J. Fisher, Neil Immerman
- Enhancing Privacy in Multi-Agent Systems (2011) — Jose Miguel Such Aparicio
- Multi-level models and infrastructures for simulating biological system development (2011) — Sara Montagna
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (2010) — Sameh Abdel-Naby
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (2010) — Michele Piunti
- Implicit Culture Framework for behavior transfer. Definition, implementation and applications (2009) — Aliaksandr Birukou
- Self-Organising Coordination Systems (2009) — Matteo Casadei
- Testing Techniques for Software Agents (2009) — Cu Duy Nguyen
- An Agent Framework for Ubiquitous Services (2008) — Conor Muldoon
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (2008) — Ambra Molesini
- Engineering Self-organising Systems with the Multiagent Paradigm (2008) — Luca Gardelli
- Argumentation and Artifacts for Intelligent Multi-agent Systems (2008) — Enrico Oliva
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (2003) — Alessandro Ricci
- Questions and Answers: Reasoning and Querying in Description Logic (2001) — Sergio Tessaris
- Architectural Styles and the Design of Network-based Software Architectures (2000) — Roy Thomas Fielding
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
- Bulk Primitives in Linda Run-Time Systems (1996) — Antony Ian Taylor Rowstron
- Programmazione Logica Orientata agli Oggetti (1995) — Andrea Omicini
- Plans and Situated Actions: The Problem of Human-Machine Communication (1985) — Lucy A. Suchman
- Explainable, Transparent Autonomous Agents and Multi-Agent Systems (2024) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling
- Explainable and Transparent AI and Multi-Agent Systems (EXTRAAMAS 2023@AAMAS 2023) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
- Proceedings of the 1st Workshop on Fairness and Bias in AI, AEQUITAS 2023 co-located with 26th European Conference on Artificial Intelligence (ECAI 2023) (2023) — Roberta Calegari, Andrea Aler Tubella, Gabriel González Castañe, Virginia Dignum, Michela Milano
- EPTCS 385-Proceedings 39th International Conference on Logic Programming (2023) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni
- CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (PLP 2022) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari
- WOA 2021 – 22nd Workshop “From Objects to Agents” (WOA 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- WOA 2020 – 21st Workshop “From Objects to Agents” (WOA 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Multi-Agent Systems 2019 (Special Issue “Multi-Agent Systems” 2019) — Andrea Omicini, Stefano Mariani
- The Future of Digital Democracy. An Interdisciplinary Approach (2019) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
- AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (AI&IoT 2019@AIIA 2019) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini
- Multi-Agent Systems (Special Issue “Multi-Agent Systems”) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
- Explainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2019) — Davide Calvaresi, Amro Najjar, Michael Schumacher, Kary Främling
- Agents and Multi-Agent Systems for Health Care (A2HC 2017) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Schumacher
- PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
- Agent Environments for Multi-Agent Systems IV (E4MAS 2014@AAMAS 2014) — Danny Weyns, Fabien Michel
- Negotiation and Argumentation in Multi-Agent Systems () — Fernando Lopes, Helder Coelho
- Handbook on Agent-Oriented Design Processes () — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
- Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (CompleNet 2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
- 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (EMAS 2013@AAMAS 2013) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
- 6th International Spatial Computing Workshop (SCW 2013) (SCW 2013@AAMAS 2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
- Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos
- 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012) (ASENSIS 2012@SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- Proceedings of the AI*IA 2012 Doctoral Consortium () — Paolo Liberatore, Michele Lombardi, Floriano Scioscia
- The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi () — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli
- Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda () — Alois Ferscha
- Declarative Agent Languages and Technologies VIII (DALT 2010@AAMAS 2010) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (WOA 2010) — Andrea Omicini, Mirko Viroli
- Artificial Life XII () — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen
- Engineering Societies in the Agents World IX (ESAW 2008) — Alexander Artikis, Gauthier Picard, Laurent Vercouter
- Engineering Societies in the Agents World X (ESAW 2009) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
- Il Milione. Viaggio nella logica computazionale in Italia () — Matteo Baldoni, Cristina Baroglio
- Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (2008) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri
- Agent Oriented Software Engineering VIII () — Michael Luck, Lin Padgham
- Engineering Societies in the Agents’ World VIII (ESAW 2007) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
- Environments for Multi-Agent Systems III (E4MAS 2006@AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- Engineering Societies in the Agents World VII (ESAW 2006) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- WOA 2006 – Dagli Oggetti agli Agenti (WOA 2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
- 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (E4MAS 2006@AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- Engineering Societies in the Agents World VI (ESAW 2005) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation () — Ron Sun
- Interactive Computation: The New Paradigm () — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
- Declarative Agent Languages and Technologies III (DALT 2005@AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
- 4th European Workshop on Multi-Agent Systems (EUMAS 2006) (EUMAS 2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (2005) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
- Transactions on Computational Systems Biology III (2005) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
- Declarative Agent Languages and Technologies II (DALT 2004@AAMAS 2004) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations () — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
- Engineering Societies in the Agents World V (ESAW 2004) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
- Environments for Multi-Agent Systems (E4MAS 2004) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
- WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (WOA 2005) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
- Models and Metaphors from Biology to Bioinformatics Tools (2004) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
- Declarative Agent Languages and Technologies (DALT 2003@AAMAS 2003) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
- WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (WOA 2004) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini
- Engineering Societies in the Agents World IV (ESAW 2003) — Andrea Omicini, Paolo Petta, Jeremy Pitt
- Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (2004) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
- Engineering Societies in the Agents World III (ESAW 2002) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
- Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (SELMAS 2002@ICSE 2002) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
- WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (WOA 2003) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu
- Cooperative Information Agents VII (CIA 2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
- Multi-Agent Systems and Applications () — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
- Engineering Societies in the Agents World II (ESAW'01) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
- Coordination of Internet Agents (2001) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
- Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
- WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) — Andrea Omicini, Mirko Viroli
- WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi
- Engineering Societies in the Agents World (ESAW'00@ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
- Foundations of Distributed Artificial Intelligence (1996) — Gregory M.P. O'Hare, Nicholas R. Jennings
- Cognitive and Social Action () — Rosaria Conte, Cristiano Castelfranchi
- Context and Consciousness: Activity Theory and Human-Computer Interaction (1995) — Bonnie A. Nardi
- 1st International Conference on Multiagent Systems () — Victor R. Lesser, Les Gasser
- Tools, Language and Cognition in Human Evolution () — Kathleen R. Gibson, Tim Ingold
- Fairness and Bias in AI (2024) — Roberta Calegari, Andrea Aler Tubella, Virginia Dignum, Michela Milano
- Special Issue on Trustworthy AI (2024) — Roberta Calegari, Fosca Giannotti, Francesca Pratesi, Michela Milano
- Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Special Issue “Advances in Multi-Agent Systems” (Applied Sciences, 2023) — Andrea Omicini, Stefano Mariani
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Special Issue “Multi-Agent Systems” 2019 (Applied Sciences, 2020) — Andrea Omicini, Stefano Mariani
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (Complexity, 2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
- Special Issue “Multi-Agent Systems” (Applied Sciences, 2019) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
- Special Section on Coordination in Large-Scale Socio-Technical Systems (IEEE Transactions on Emerging Topics in Computing, 2016) — Franco Zambonelli, Andrea Omicini, Paul Scerri
- Special Issue on Software Agents (Computing Now, 2013) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
- Special Issue “Infrastructures and Tools for Multiagent Systems” (Engineering Applications of Artificial Intelligence, 2011) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
- Special Issue “Engineering Environments in Multi-Agent Systems” (Multiagent and Grid Systems, 2009) — Danny Weyns, Andrea Omicini
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Peter McBurney
- Special Issue “Agents, Institutions and Legal Theory” (Artificial Intelligence and Law, 2008) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni Sartor
- Special Issue on the AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems, 2007) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Special Issue “Hot Topics in European Agent Research II” (Informatica, 2006) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (The Knowledge Engineering Review, 2005) — Andrea Omicini, Peter McBurney
- Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (Intelligenza Artificiale, 2005) — Marco Cadoli, Michela Milano, Andrea Omicini
- Special Issue “Hot Topics in European Agent Research I” (Informatica, 2005) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Special Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
- Special Issue “Coordination and Collaboration Technologies” (International Journal of Cooperative Information Systems, 2004) — Andrea Omicini, Sascha Ossowski
- Special Issue “Coordination and Knowledge Engineering” (The Knowledge Engineering Review, 2002) — Andrea Omicini, Sascha Ossowski
- Special Issue “Coordination as a Paradigm for Systems Integration” (Journal of Systems Integration, 2001) — Andrea Omicini, George A. Papadopoulos
- Special Issue “Coordination Models and Languages in AI” (Applied Artificial Intelligence, 2001) — Andrea Omicini, George A. Papadopoulos
- Preface (2024) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Kary Främling
- Special Issue “Advances in Multi-Agent Systems”: Editorial (Applied Sciences, 2023) — Stefano Mariani, Andrea Omicini
- Preface (Explainable and Transparent AI and Multi-Agent Systems, 2023) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Kary Främling
- Preface (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Preface - Proceedings 39th International Conference on Logic Programming (2023) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni
- Preface: Fairness and Bias in AI: Insights from AEQUITAS 2023 (2023) — Roberta Calegari, Andrea Aler Tubella, Gabriel Gonzalez, Virginia Dignum, Michela Milano
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Preface - Argumentation for eXplainable AI (2022) — Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu Antonio Rago, Leila Amgoud, Pietro Baroni, Nick Bassiliades, Elizabeth Black, Roberta Calegari, Anna Collins, Jérôme Delobelle, Xiuyi Fan
- Preface (WOA 2021 – 22nd Workshop “From Objects to Agents”, 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Special Issue “Multi-Agent Systems”: Editorial (Applied Sciences, 2020) — Stefano Mariani, Andrea Omicini
- Preface (WOA 2020 – 21st Workshop “From Objects to Agents”, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (Complexity, 2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
- Preface (The Future of Digital Democracy. An Interdisciplinary Approach, 2019) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
- Preface – AI&IoT 2019 (AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, 2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
- Special Issue “Multi-Agent Systems”: Editorial (Applied Sciences, 2019) — Stefano Mariani, Andrea Omicini
- Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section (IEEE Transactions on Emerging Topics in Computing, 2016) — Franco Zambonelli, Andrea Omicini, Paul Scerri
- Foreward by Prof. Andrea Omicini (Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems, 2016) — Andrea Omicini
- Preface (PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
- Best ACM SAC Articles on Coordination and Self-Adaptation (ACM Transactions on Autonomous and Adaptive Systems, 2014) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
- Preface (CompleNet 2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
- Software Agents: Twenty Years and Counting (Computing Now, 2013) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
- Preface (Declarative Agent Languages and Technologies VIII, 2011) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
- Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (Engineering Applications of Artificial Intelligence, 2011) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
- Special Track on: Agent-Oriented Software Engineering Methodologies and Systems (SAC 2009) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Peter McBurney, Andrea Omicini
- Preface (, 2008) — Canal Carlos, Pascal Poizat, Mirko Viroli
- Preface (Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), 2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- Introduction to the Special Issue: The AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems, 2007) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Preface (, 2007) — Canal Carlos, Mirko Viroli
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (Informatica, 2006) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Preface (, 2006) — Canal Carlos, Mirko Viroli
- Preface (Transactions on Computational Systems Biology III, 2005) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
- Message from the Program Chairs (Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005), 2005) — Andrea Omicini, Roger L. Wainwright
- Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini
- Preface (Engineering Societies in the Agents World V, 2005) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
- The AgentLink III Technical Forums: Introduction to the Special Issue (The Knowledge Engineering Review, 2005) — Andrea Omicini, Peter McBurney
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research (Informatica, 2005) — Andrea Omicini, Paolo Petta, Matjaz Gams
- Preface (Declarative Agent Languages and Technologies II, 2005) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
- Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (Intelligenza Artificiale, 2005) — Marco Cadoli, Michela Milano, Andrea Omicini
- Message from the Program Chairs (Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), 2004) — Andrea Omicini, Roger L. Wainwright
- Preface (Engineering Societies in the Agents World IV, 2004) — Andrea Omicini, Paolo Petta, Jeremy Pitt
- Preface (Declarative Agent Languages and Technologies, 2004) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
- Preface (Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications, 2003) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
- Editorial Message: Special Track on Coordination models, Languages and Applications (CM 2003@SAC 2003) — Andrea Omicini, Sascha Ossowski
- First International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2003@WET ICE 2003) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
- Preface (Cooperative Information Agents VII, 2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
- Editorial Message: Special Track on Coordination Models, Languages and Applications (CM 2002@SAC 2002) — Andrea Omicini, Sascha Ossowski
- Preface (Engineering Societies in the Agents World II, 2001) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
- Coordination Models, Languages and Applications. Track Chair Messages (CM 2001@SAC 2001) — Andrea Omicini
- Coordination as a Paradigm for Systems Integration (Journal of Systems Integration, 2001) — Andrea Omicini, George A. Papadopoulos
- Preface: Volume 48 (Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000, 2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
- Editorial: Why Coordination Models and Languages in AI? (Applied Artificial Intelligence, 2001) — Andrea Omicini, George A. Papadopoulos
- Preface: Coordination of Internet Agents (Coordination of Internet Agents, 2001) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
- Preface (ESAW'00@ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
- Special Track on Coordination Models, Languages and Applications (CM 2000@SAC 2000) — Andrea Omicini, George A. Papadopoulos
- ChatGPT is not all you need. A State of the Art Review of large Generative AI models (2023) — Roberto Gozalo-Brizuela, Eduardo C. Garrido-Merchan
- Counterfactual Explanations for Machine Learning: Challenges Revisited (2021) — Sahil Verma, John P. Dickerson, Keegan Hines
- Counterfactual Explanations for Machine Learning: A Review (2020) — Sahil Verma, John P. Dickerson, Keegan Hines
- Language Models are Unsupervised Multitask Learners (2019) — Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya Sutskever
- Transformer: A Novel Neural Network Architecture for Language Understanding (2017) — Jakob Uszkoreit
- The Second AgentLink III Technical Forum (2005) — Andrea Omicini, Paolo Petta, Matjaz Gams
publications
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini