Per tipo

1433 pubblicazioni

in rivista • in atti • capitoli • libri • voci • manuali • rapporti • dottorato • curatele • speciale • editoriali • altri

articoli in rivista

Efficient compliance checking of RDF data (2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Delay Indices for Train Punctuality (2023) — Enrico Denti, Luca Burroni
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (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
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Neural-logic multi-agent system for flood event detection (2023) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
Burden of Persuasion: A Meta-argumentation Approach (2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (2023) — Luciano Floridi
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (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
Web of Digital Twins (2022) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
Arg2P: An argumentation framework for explainable intelligent systems (2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Pervasive and Connected Digital Twins - A Vision for Digital Health (2022) — Alessandro Ricci, Angelo Croatti, Sara Montagna
How to model contrary-to-duty with GCP-nets (2022) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
On Correctness and Completeness of an n Queens Program (2022) — Włodzimierz Drabent
Fifty Years of Prolog and Beyond (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
Coordination of Autonomous Vehicles: Taxonomy and Survey (2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (2021) — Angelo Croatti, Marco Longoni, Sara Montagna
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (2021) — Andrea Agiollo, Andrea Omicini
Argumentation and Defeasible Reasoning in the Law (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (2021) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
Partitioned integration and coordination via the self-organising coordination regions pattern (2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing (2021) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
DETONAR: Detection of Routing Attacks in RPL-based IoT (2021) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
Real-time tracking and documentation in trauma management (2020) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (2020) — Angelo Croatti, Alessandro Ricci
Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (2020) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (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
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
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
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (2020) — Sara Montagna, Michele Braccini, Andrea Roli
On the Integration of Agents and Digital Twins in Healthcare (2020) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
From Agents to Blockchain: Stairway to Integration (2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Twenty years of coordination technologies: COORDINATION contribution to the state of art (2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
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
Explanation in artificial intelligence: Insights from the social sciences (2019) — Tim Miller
Deliver intelligence to integrate care: the Connecare way (2019) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Evaluating Origin–Destination Matrices Obtained from CDR Data (2019) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
From distributed coordination to field calculus and aggregate computing (2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Coordination in Socio-technical Systems: Where are we now? Where do we go next? (2019) — Stefano Mariani
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
Client-side Computational Optimization (2019) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Logic Programming as a Service (2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
The mythos of model interpretability (2018) — Zachary C. Lipton
Towards attack-resistant Aggregate Computing using trust mechanisms (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
A Survey of Methods for Explaining Black Box Models (2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples (2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Optimal single-path information propagation in gradient-based algorithms (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
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
Extending Logic Programming with Labelled Variables: Model and Semantics (2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
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
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (2017) — Sara Montagna, Andrea Omicini
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
State-of-the-Art and Trends in Nature-inspired Coordination Models (2017) — Stefano Mariani, Andrea Omicini
Aggregate plans for multiagent systems (2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Augmented societies with mirror worlds (2017) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
An Argumentation-based Perspective over the Social IoT (2017) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Self-Adaptation to Device Distribution in the Internet of Things (2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci
Spatial awareness in pervasive ecosystems (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
Cross-organism learning method to discover new gene functionalities (2016) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
A type-sound calculus of computational fields (2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Building Smart Spaces on the Home Manager platform (2016) — Roberta Calegari, Enrico Denti
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
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
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 (2015) — Sara Montagna, Mirko Viroli, Andrea Roli
GOTA: GO term annotation of biomedical literature (2015) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
GOTA: GO term annotation of biomedical literature (2015) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (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
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (2015) — Stefano Mariani, Andrea Omicini
A coordination model of pervasive service ecosystems (2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Deep learning (2015) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Programming Multi-agent Systems (2015) — Mehdi Dastani
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (2014) — Enrico Denti
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (2014) — Stefano Mariani, Andrea Omicini
Novel pervasive scenarios for home management: the Butlers architecture (2014) — Enrico Denti
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
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
Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Nature-inspired Coordination Models: Current Status, Future Trends (2013) — Andrea Omicini
Semantic Tuple Centres (2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (2013) — Houguang Yue
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (2013) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
Operational Semantics of Proto (2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
tuProlog: Making Prolog Ubiquitous (2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
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
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (2013) — Andrea Omicini, Stefano Mariani
On competitive self-composition in pervasive services (2013) — Mirko Viroli
Multi-agent Oriented Programming with JaCaMo (2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Implicit: A Multi-agent Recommendation System for Web Search (2012) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
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
Situation Identification Techniques in Pervasive Computing: A Review (2012) — Juan Ye, Simon Dobson, Susan McKeever
A Programming Paradigm based on Agent-Oriented Abstractions (2012) — Alessandro Ricci, Andrea Santi
Self-adaptive software needs quantitative verification at runtime (2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (2012) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Interdependent Artificial Institutions in Agent Environments (2012) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (2012) — Schahram Dustdar, Hong-Linh Truong
Toward Sociotechnical Urban Superorganisms (2012) — Franco Zambonelli
Programming Directives for Elastic Computing (2012) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Coordination Models and Languages: From Parallel Computing To Self-Organisation (2011) — Andrea Omicini, Mirko Viroli
Java Security Architecture Revisited (2011) — Li Gong
Adaptive organizational changes in agent-oriented methodologies (2011) — Luca Cernuzzi, Franco Zambonelli
The Social Compute Unit (2011) — Schahram Dustdar, Kamal Bhattacharya
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (2011) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
The most ancient marketing (2011) — Jaron Lanier
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (2011) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Seeing is not enough (2011) — Tom Geller
Will software engineering ever be engineering? (2011) — Michael Davis
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (2011) — Peter McBurney, Simon Parsons, Mirko Viroli
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Tour of Reaction Systems (2011) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Preface (2011) — Carlos Canal, Mirko Viroli
The legacy of Steve Jobs (2011) — Michael A. Cusumano
Principles of Elastic Processes (2011) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Improving brain-computer interfaces (2011) — Kirk L. Kroeker
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Anonymity is not privacy: technical perspective (2011) — Vitaly Shmatikov
The Rise of Molecular Machines (2011) — Kirk L. Kroeker
Computational journalism (2011) — Sarah Cohen, James T. Hamilton, Fred Turner
Dennis Ritchie, 1941-2011 (2011) — Paul Hyman
Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) — YoungMin Kwon, Gul Agha
Abstraction in hardware system design (2011) — Rishiyur S. Nikhil
Living in a Digital World (2011) — Samuel Greengard
From Manifesta to Krypta: The Relevance of Categories for Trusting Others (2011) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
From Space to Stage: How Interactive Screens Will Change Urban Life (2011) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
Sustainable biomass power plant location in the Italian Emilia-Romagna region (2011) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
The software industry is the problem (2011) — Poul-Henning Kamp
Debt Deleveraging and Business Cycles. An Agent-Based Perspective (2011) — Marco Raberto, Andrea Teglio, Silvano Cincotti
Towards a logic framework for Web programming (2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Implementing reactive BDI agents with user-given constraints and objectives (2010) — Aniruddha Dasgupta, Aditya K. Ghose
Towards Model-driven Communications (2010) — Antonio Natali, Ambra Molesini
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (2010) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
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 Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (2010) — Alessandro Ricci, Enrico Denti, Michele Piunti
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (2010) — Clemens Holzmann, Alois Ferscha
Tutorial on Agent-based Modelling and Simulation (2010) — Charles M. Macal, Michael J. North
Logic-based decision support for strategic environmental assessment (2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Agent-based Conference Management: A Case Study in SODA (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
Argumentation and Artifacts for Negotiation Support (2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (2010) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
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
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
Declarative Specification and Verification of Service Choreographies (2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
On the Collective Sort Problem for Distributed Tuple Spaces (2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Software Engineering: An Idea Whose Time Has Come and Gone? (2009) — Tom De Marco
Environment in Agent-Oriented Software Engineering Methodologies (2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
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
Making Sense of Revision-control Systems (2009) — Bryan O'Sullivan
Towards a Tuplespace-based Middleware for the Semantic Web (2008) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (2008) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Programming with models: modularity and abstraction provide powerful capabilities for systems biology (2008) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (2008) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
PASSIM: a simulation-based process for the development of multi-agent systems (2008) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Econophysics and the Current Economic Turmoil (2008) — H. Eugene Stanley
On the reification of Java wildcards (2008) — Maurizio Cimadamore, Mirko Viroli
Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
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 (2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Process Algebraic View of Shared Dataspace Coordination (2008) — Nadia Busi, Gianluigi Zavattaro
Writing a thesis with LaTeX (2008) — Lapo Mori
Automating Workflow using Dialectical Argumentation (2008) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
An Adaptation Logic Framework for Java-based Component Systems (2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
A&A for Modelling and Engineering Simulations in Systems Biology (2008) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (2008) — Pierluigi Contucci, Cristian Giardina
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Smart Environments as Agent Workspaces (2008) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
The LighTS Tuple Space Framework and its Customization for Context-aware Applications (2007) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (2007) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Infrastructures for the Environment of Multiagent Systems (2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Agent-based modeling of multicell morphogenic processes during development (2007) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Preface (2007) — Carlos Canal, Mirko Viroli
Engineering a BPEL Orchestration Engine as a Multi-agent System (2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
Method fragments for agent design methodologies: from standardisation to research (2007) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
How to infer gene networks from expression proﬁles (2007) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Environment as a First Class Abstraction in Multi-Agent Systems (2007) — Danny Weyns, Andrea Omicini, James J. Odell
Pellet: A practical OWL-DL reasoner (2007) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
tuProlog 2.0: One Step Beyond (2007) — Giulio Piancastelli, Andrea Omicini
A Survey on Context-Aware Systems (2007) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Guest Editorial (2007) — Davide Ancona, Mirko Viroli
Timed Environment for Web Agents (2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Discrete Event Modeling and Simulation in Systems Biology (2007) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (2007) — Pierluigi Contucci, Stefano Ghirlanda
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (2007) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (2007) — Tim O'Reilly
Situated Cellular Agents Approach to Crowd Modeling and Simulation (2007) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Pervasive pheromone-based interaction with RFID tags (2007) — Mamei Marco, Franco Zambonelli
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (2007) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Executable cell biology (2007) — Jasmin Fisher, Thomas A. Henzinger
Model Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix
A Generic Large Scale Simulator for Ubiquitous Computing (2006) — M. Martin, P. Nurmi
Case Studies for Self-organization in Computer Science (2006) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
On Coordination and its Significance to Distributed and Multi-Agent Systems (2006) — Sascha Ossowski, Ronaldo Menezes
Verifying Multi-agent Programs by Model Checking (2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (2006) — Atsushi Igarashi, Mirko Viroli
Logics for Artificial Intelligence (2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Service-Oriented Design and Development Methodology (2006) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Lime: A coordination model and middleware supporting mobility of hosts and agents (2006) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Operating Instructions for Intelligent Agent Coordination (2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (2006) — Christine Julien, Gruia-Catalin Roman
Tools for kinetic modeling of biochemical networks (2006) — Rui Alves, Fernando Antunes, Armindo Salvador
On the Expressive Power of KLAIM-based Calculi (2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Agent Coordination Contexts in a MAS Coordination Infrastructure (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Toward Nature-Inspired Computing (2006) — Jiming Liu, Kwok Ching Tsui
Multiagent Systems (2006) — Andrea Omicini, Agostino Poggi
Coordination as a Service (2006) — Mirko Viroli, Andrea Omicini
Process Models for Agent-based Development (2005) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Self-Organization in Multi-Agent Systems (2005) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
Multi-paradigm Java-Prolog Integration in tuProlog (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
Environments in Multiagent Systems (2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Quantitative Information in the Tuple Space Coordination Model (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (2005) — Alessandro Ricci, Mirko Viroli
Relevance of Winning Coalitions in Indirect Control of Corporations (2004) — Enrico Denti, Nando Prati
Adaptive Agents and Multiagent Systems (2004) — Zahia Guessoum
Multi-agent Infrastructures for Objective and Subjective Coordination (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
From the Editor in Chief: Nature-Inspired Computing (2004) — Nigel Shadbolt
Open Directions in Agent-Oriented Software Engineering (2004) — Franco Zambonelli, Andrea Omicini
Challenges and Research Directions in Agent-Oriented Software Engineering (2004) — Franco Zambonelli, Andrea Omicini
Reo: A Channel-based Coordination Model for Component Composition (2004) — Farhad Arbab
Coordination and Collaboration Activities in Cooperative Information Systems (2004) — Andrea Omicini, Sascha Ossowski
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
Guest Editorial (2004) — Davide Ancona, Mirko Viroli
Composing Adaptive Software (2004) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Computation Beyond Turing Machines (2003) — Peter Wegner, Dina Goldin
Method engineering for OO systems development (2003) — Brian Henderson-Sellers
The Vision of Autonomic Computing (2003) — Jeffrey O. Kephart, David M. Chess
Developing multiagent systems: The Gaia methodology (2003) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (2003) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (2003) — Franco Zambonelli, H. Van Dyke Parunak
How has the 9/11 terrorist attack influenced decision making? (2003) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
Reasoning about Organisation: Shaping the Infrastructure (2003) — Andrea Omicini, Alessandro Ricci
Architecture as a Coordination Tool in Multi-site Software Development (2003) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
Objects and Agents Compared (2002) — James J. Odell
An Observation Approach to Semantics of Agents Communication Languages (2002) — Mirko Viroli, Andrea Omicini
Design Principles of a Reactive Behavioral System for the Intelligent Room (2002) — Ajay Kulkarni
Modelling Agents as Observable Sources (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (2002) — Brian Henderson-Sellers
The Complementary Nature of Coordination Dynamics: Self-organization and Agency (2002) — J.A. Scott Kelso
Principled Design of the Modern Web Architecture (2002) — Roy Thomas Fielding, Richard N. Taylor
Coordination Tools for MAS Development and Deployment (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (2002) — Hidde De Jong
Virtual Enterprises and Workflow Management as Agent Coordination Issues (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
A Survey of Coordination Middleware for XML-centric Applications (2002) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Computational challenges in cell simulation: a software engineering approach (2002) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Bisimulation for Labelled Markov Processes (2002) — José Desharnais, Abbas Edalat, Prakash Panangaden
Coordination Knowledge Engineering (2002) — Sascha Ossowski, Andrea Omicini
Introduction to This Special Issue on Context-Aware Computing (2001) — Thomas Moran, Paul Dourish
Control-driven Constraint Propagation (2001) — Eric Monfroy
Safe Tuplespace-based Coordination in Multiagent Systems (2001) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
A Coordination Language for Collective Agent-based Systems: GroupLog (2001) — Fernanda Barbosa, José C. Cunha
XML Dataspaces for the Coordination of Internet Agents (2001) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
On the Unusual Effectiveness of Logic in Computer Science (2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Self Organization and Coordination (2001) — Scott E. Page
Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (2001) — Enrico Denti, Andrea Omicini
An Agent-based Approach for Building Complex Software Systems (2001) — Nicholas R. Jennings
Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (2001) — Ian Foster, Carl Kesselman, Steven Tuecke
An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) — Nando Prati, Enrico Denti
On the Notion of Agent Coordination Context: Preliminary Notes (2001) — Andrea Omicini
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (2001) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Enlightened Agents in TuCSoN (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (2001) — Ganesh D. Bhatt
From Tuple Spaces to Tuple Centres (2001) — Andrea Omicini, Enrico Denti
The Gaia Methodology for Agent-Oriented Analysis and Design (2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
On the Expressiveness of Linda Coordination Primitives (2000) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Selecting a Project's Methodology (2000) — Alistair Cockburn
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali
The Gaia Methodology for Agent-Oriented Analysis and Design (2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Process Migration (2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Amorphous Computing (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 Agent-Based Software Engineering (2000) — Nicholas R. Jennings
Amorphous Computing (2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (2000) — Michael A. Gibson, Jehoushua Bruck
MARS: A Programmable Coordination Architecture for Mobile Agents (2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
A Brief History of Stigmergy (1999) — Guy Theraulaz, Eric Bonabeau
An Architecture for Tuple-based Coordination of Multi-Agent Systems (1999) — Enrico Denti, Andrea Omicini
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 Technologies for Internet Agents (1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Models for Multi-Agent Systems (1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination for Internet Application Development (1999) — Andrea Omicini, Franco Zambonelli
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (1999) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Agents with Power (1999) — Rune Gustavsson
Editor's Introduction: Stigmergy (1999) — Eric Bonabeau
Co-ordination of Mobile Information Agents in TuCSoN (1998) — Andrea Omicini, Franco Zambonelli
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Modelling Social Action for AI Agents (1998) — Cristiano Castelfranchi
Decision procedures for BDI logics (1998) — Anand S. Rao, Michael P. Georgeff
Collective dynamics of ‘small-world’ networks (1998) — Duncan J. Watts, Steven H. Strogatz
A process algebraic view of Linda coordination primitives (1998) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
KLAIM: A Kernel Language for Agent Interaction and Mobility (1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Agent Communication Languages: Rethinking the Principles (1998) — Munindar P. Singh
Planning and acting in partially observable stochastic domains (1998) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
T Spaces (1998) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
On the Expressive Power of KLAIM-based Calculi (1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Towards Empirical Computer Science (1998) — Peter Wegner
A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten
Why Interaction Is More Powerful Than Algorithms (1997) — Peter Wegner
“Go to the Ant”: Engineering Principles from Natural Agent Systems (1997) — H. Van Dyke Parunak
Coordination Models and Languages as Software Integrators (1996) — Paolo Ciancarini
Method engineering: engineering of information systems development methods and tools (1996) — Sjaak Brinkkemper
Intelligent Agents: Theory and Practice (1995) — Michael J. Wooldridge, Nicholas R. Jennings
Specification and Analysis of System Architecture Using Rapide (1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
A distributed semantics for EMPA based on stochastic contextual nets (1995) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
Computational Research on Interaction and Agency (1995) — Philip E. Agre
Distributed Programming with Logic Tuple Spaces (1994) — Paolo Ciancarini
The Interdisciplinary Study of Coordination (1994) — Thomas W. Malone, Kevin Crowston
Embedding as a Tool for Language Comparison (1994) — Frank S. de Boer, Catiuscia Palamidessi
Modularity in Logic Programming (1994) — Michele Bugliesi, Evelina Lamma, Paola Mello
Science for the post-normal age (1993) — Silvio O. Funtowicz, Jerome R. Ravetz
Agent-Oriented Programming (1993) — Yoav Shoham
Elements of Interaction: Turing Award Lecture (1993) — Robin Milner
An Overview of Manifold and its Implementation (1993) — Farhad Arbab, Ivan Herman, Per Spilling
Coordination Languages and Their Significance (1992) — David Gelernter, Nicholas Carriero
Design principles for cognitive artifacts (1992) — Donald A. Norman
The Chemical Abstract Machine (1992) — Gérard Berry
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 Concurrent Language, Shared Prolog (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 (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 (1989) — Nicholas Carriero, David Gelernter
Linda in Context (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
Generative Communication in Linda (1985) — 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
Minds, Brains, and Programs (1980) — John R. Searle
The Paradigms of Programming (1979) — Robert W. Floyd
Time, Clocks, and the Ordering of Events in a Distributed System (1978) — Leslie Lamport
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 (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

388 articoli in rivista • in cima • indice • in fondo

articoli in atti

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

722 articoli in atti • in cima • indice • in fondo

capitoli di libro

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 (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
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
Bridging the Symbolic/Subsymbolic Gap (2014) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
The Gaia Methodology Process (2014) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini
The SODA Methodology: Meta-Model and Process Documentation (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
The IEEE-FIPA Standard on the Design Process Documentation Template (2014) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (2013) — Alessandro Ricci, Andrea Santi
Organizing the Aggregate: Languages for Spatial Computing (2013) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Collaborative Learning and ICT: A Prototypal Learning Environment (2013) — Maria Cristina Matteucci, Elena Nardini, Andrea Omicini
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (2013) — Stefano Mariani, Andrea Omicini
Agents Writing on Walls: Cognitive Stigmergy and Beyond (2012) — Andrea Omicini
A Computational Framework for Multilevel Morphologies (2012) — Sara Montagna, Mirko Viroli
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
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
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (2010) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
Agent-based Modelling of Stem Cells (2009) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
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
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
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (2006) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Standardizing Agent Communication (2006) — Yannis Labrou
Cognitive Modeling of Social Behaviours (2006) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
The World According To Brahms: Modeling and Simulating Work Practice (2006) — Maarten Sierhuis
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (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
Model Checking for ACL Compliance Verification (2004) — Marc-Philippe Huget, Michael J. Wooldridge
The Gaia Methodology (2004) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
Online Engineering and Open Computational Systems (2004) — Martin Fredriksson, Rune Gustavsson
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
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 (2001) — Davide Rossi, Giacomo Cabri, Enrico Denti
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (2001) — Ian Foster
Distributed Agents Supporting Event-Driven Design Processes (1998) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Coordination Models and Languages (1998) — George A. Papadopoulos, Farhad Arbab
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

68 capitoli di libro • in cima • indice • in fondo

libri

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
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
Engineering General Intelligence, Part 2 (2014) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (2014) — Bernd Rosslenbroich
Perspectives on Spin Glasses (2012) — Pierluigi Contucci, Cristian Giardinà
Distributed Systems. Concepts and Design (2012) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
Distributed Computing. Principles, Algorithms, and Systems (2011) — Ajay D. Kshemkalyani, Mukesh Singhal
Global Democracy: Normative and Empirical Perspectives (2011) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
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
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
An Introduction to MultiAgent Systems (2009) — Michael J. Wooldridge
Costruire sistemi software: dai modelli al codice (2009) — Antonio Natali, Ambra Molesini
The Craft of Prolog (2009) — Richard O'Keefe
Information, Physics, and Computation (2009) — Marc Mézard, Andrea Montanari
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
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
Distributed Systems. Principles and Paradigms (2007) — Andrew S. Tanenbaum, Marteen van Steen
RESTful Web Services (2007) — Leonard Richardson, Sam Ruby
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
The Plausibility of Life: Resolving Darwin's Dilemma (2006) — Marc W. Kirschner, John C. Gerhart
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
Investigations (2003) — Stuart A. Kauffman
Lean Software Development: An Agile Toolkit (2003) — Mary Poppendieck, Tom Poppendieck
Introduzione alla Programmazione a oggetti in Java (2003) — Enrico Denti
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. Design and Implementation (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
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
Introduzione alla Programmazione a oggetti in Java (2000) — Enrico Denti
Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (1999) — Eric Freeman, Susanne Hupfer, Ken Arnold
Extreme Programming Explained: Embrace Change (1999) — Kent Beck
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
Introduction to Econophysics: Correlations and Complexity in Finance (1999) — Rosario N. Mantegna, H. Eugene Stanley
É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
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
Lectures on Gas Theory (1964) — Ludwig Boltzmann
Principia Mathematica (1927) — Alfred North Whitehead, Bertrand Russell

63 libri • in cima • indice • in fondo

voci di enciclopedia

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

2 voci di enciclopedia • in cima • indice • in fondo

manuali

ReSpecT Guide (2008) — Matteo Casadei, Andrea Omicini
BibTeXing (1988) — Oren Patashnik
Designing BibTeX Styles (1988) — Oren Patashnik

3 manuali • in cima • indice • in fondo

rapporti tecnici

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
A Multi-Theory Logic Programming Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (2008) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
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
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

22 rapporti tecnici • in cima • indice • in fondo

tesi di dottorato

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

18 tesi di dottorato • in cima • indice • in fondo

curatele

Explainable and Transparent AI and Multi-Agent Systems (2023) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (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
CILC 2022 – Italian Conference on Computational Logic (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
WOA 2021 – 22nd Workshop “From Objects to Agents” (2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Multi-Agent Systems 2019 (2020) — Andrea Omicini, Stefano Mariani
WOA 2020 – 21st Workshop “From Objects to Agents” (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
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 (2019) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini
Multi-Agent Systems (2019) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
Explainable, Transparent Autonomous Agents and Multi-Agent Systems (2019) — Davide Calvaresi, Amro Najjar, Michael Schumacher, Kary Främling
Agents and Multi-Agent Systems for Health Care (2017) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Schumacher
PRIMA 2015: Principles and Practice of Multi-Agent Systems (2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Agent Environments for Multi-Agent Systems IV (2015) — Danny Weyns, Fabien Michel
Negotiation and Argumentation in Multi-Agent Systems (2014) — Fernando Lopes, Helder Coelho
Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
Handbook on Agent-Oriented Design Processes (2014) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (2013) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos
6th International Spatial Computing Workshop (SCW 2013) (2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (2013) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012) (2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi (2012) — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli
Proceedings of the AI*IA 2012 Doctoral Consortium (2012) — Paolo Liberatore, Michele Lombardi, Floriano Scioscia
Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda (2011) — Alois Ferscha
Declarative Agent Languages and Technologies VIII (2011) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Artificial Life XII (2010) — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen
WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (2010) — Andrea Omicini, Mirko Viroli
Engineering Societies in the Agents World IX (2009) — Alexander Artikis, Gauthier Picard, Laurent Vercouter
Engineering Societies in the Agents World X (2009) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
Il Milione. Viaggio nella logica computazionale in Italia (2008) — 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
Engineering Societies in the Agents’ World VIII (2008) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
Agent Oriented Software Engineering VIII (2008) — Michael Luck, Lin Padgham
Environments for Multi-Agent Systems III (2007) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Engineering Societies in the Agents World VII (2007) — 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
4th European Workshop on Multi-Agent Systems (EUMAS 2006) (2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
Declarative Agent Languages and Technologies III (2006) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (2006) — Ron Sun
Engineering Societies in the Agents World VI (2006) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
Interactive Computation: The New Paradigm (2006) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
WOA 2006 – Dagli Oggetti agli Agenti (2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
Declarative Agent Languages and Technologies II (2005) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (2005) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
Transactions on Computational Systems Biology III (2005) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (2005) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (2005) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
Engineering Societies in the Agents World V (2005) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Environments for Multi-Agent Systems (2005) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Models and Metaphors from Biology to Bioinformatics Tools (2004) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Declarative Agent Languages and Technologies (2004) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (2004) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (2004) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini
Engineering Societies in the Agents World IV (2004) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Cooperative Information Agents VII (2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Engineering Societies in the Agents World III (2003) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (2003) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (2003) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu
Multi-Agent Systems and Applications (2001) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
Coordination of Internet Agents. Models, Technologies, and Applications (2001) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (2001) — Andrea Omicini, Mirko Viroli
Engineering Societies in the Agents World II (2001) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Engineering Societies in the Agents World (2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi
Foundations of Distributed Artificial Intelligence (1996) — Gregory M.P. O'Hare, Nicholas R. Jennings
Context and Consciousness: Activity Theory and Human-Computer Interaction (1995) — Bonnie A. Nardi
Cognitive and Social Action (1995) — Rosaria Conte, Cristiano Castelfranchi
1st International Conference on Multiagent Systems (1995) — Victor R. Lesser, Les Gasser
Tools, Language and Cognition in Human Evolution (1993) — Kathleen R. Gibson, Tim Ingold

70 curatele • in cima • indice • in fondo

numeri speciali

Special Issue “Advances in Multi-Agent Systems” (2023) — Andrea Omicini, Stefano Mariani
Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Special Issue “Multi-Agent Systems” 2019 (2020) — Andrea Omicini, Stefano Mariani
Special Issue “Multi-Agent Systems” (2019) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
Special Section on Coordination in Large-Scale Socio-Technical Systems (2016) — Franco Zambonelli, Andrea Omicini, Paul Scerri
Special Issue on Software Agents (2013) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Special Issue “Infrastructures and Tools for Multiagent Systems” (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” (2009) — Danny Weyns, Andrea Omicini
Special Issue “Agents, Institutions and Legal Theory” (2008) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni Sartor
Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (2008) — Andrea Omicini, Peter McBurney
Special Issue on the AgentLink III Technical Forums (2007) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Special Issue “Hot Topics in European Agent Research II” (2006) — Andrea Omicini, Paolo Petta, Matjaz Gams
Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (2005) — Marco Cadoli, Michela Milano, Andrea Omicini
Special Issue “Hot Topics in European Agent Research I” (2005) — Andrea Omicini, Paolo Petta, Matjaz Gams
Special Issue “Process Algebras and Multi-Agent Systems” (2005) — Mirko Viroli, Andrea Omicini
Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (2005) — Andrea Omicini, Peter McBurney
Special Issue “Coordination and Collaboration Technologies” (2004) — Andrea Omicini, Sascha Ossowski
Special Issue “Coordination and Knowledge Engineering” (2002) — Andrea Omicini, Sascha Ossowski
Special Issue “Coordination as a Paradigm for Systems Integration” (2001) — Andrea Omicini, George A. Papadopoulos
Special Issue “Coordination Models and Languages in AI” (2001) — Andrea Omicini, George A. Papadopoulos

21 numeri speciali • in cima • indice • in fondo

editoriali/introduzioni/prefazioni

Special Issue “Advances in Multi-Agent Systems”: Editorial (2023) — Stefano Mariani, Andrea Omicini
Preface (2023) — Davide Calvaresi, Andrea Omicini, Amro Najjar, Kary Främling
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Preface (2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface (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 (2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Special Issue “Multi-Agent Systems”: Editorial (2020) — Stefano Mariani, Andrea Omicini
Preface – AI&IoT 2019 (2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
Preface (2019) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
Special Issue “Multi-Agent Systems”: Editorial (2019) — Stefano Mariani, Andrea Omicini
Foreward by Prof. Andrea Omicini (2016) — Andrea Omicini
Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section (2016) — Franco Zambonelli, Andrea Omicini, Paul Scerri
Preface (2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Preface (2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
Best ACM SAC Articles on Coordination and Self-Adaptation (2014) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Software Agents: Twenty Years and Counting (2013) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Preface (2011) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (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 (2009) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
Preface (2008) — Canal Carlos, Pascal Poizat, Mirko Viroli
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (2008) — Peter McBurney, Andrea Omicini
Preface (2007) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
Introduction to the Special Issue: The AgentLink III Technical Forums (2007) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Preface (2007) — Canal Carlos, Mirko Viroli
Preface (2006) — Canal Carlos, Mirko Viroli
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (2006) — Andrea Omicini, Paolo Petta, Matjaz Gams
Preface (2005) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Preface (2005) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research (2005) — Andrea Omicini, Paolo Petta, Matjaz Gams
Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (2005) — Marco Cadoli, Michela Milano, Andrea Omicini
The AgentLink III Technical Forums: Introduction to the Special Issue (2005) — Andrea Omicini, Peter McBurney
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (2005) — Mirko Viroli, Andrea Omicini
Message from the Program Chairs (2005) — Andrea Omicini, Roger L. Wainwright
Preface (2005) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Preface (2004) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Preface (2004) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Message from the Program Chairs (2004) — Andrea Omicini, Roger L. Wainwright
Preface (2003) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
Preface (2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
First International Workshop on Theory and Practice of Open Computational Systems (2003) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
Editorial Message: Special Track on Coordination models, Languages and Applications (2003) — Andrea Omicini, Sascha Ossowski
Editorial Message: Special Track on Coordination Models, Languages and Applications (2002) — Andrea Omicini, Sascha Ossowski
Preface (2001) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Editorial: Why Coordination Models and Languages in AI? (2001) — Andrea Omicini, George A. Papadopoulos
Preface: Volume 48 (2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Coordination as a Paradigm for Systems Integration (2001) — Andrea Omicini, George A. Papadopoulos
Coordination Models, Languages and Applications. Track Chair Messages (2001) — Andrea Omicini
Special Track on Coordination Models, Languages and Applications (2000) — Andrea Omicini, George A. Papadopoulos
Preface (2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli

50 editoriali/introduzioni/prefazioni • in cima • indice • in fondo

altri tipi di pubblicazione

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

6 altri tipi di pubblicazione • in cima • indice • in fondo