Enrico Denti » Publications » Book Chapters per Year

Book Chapters by (1992—2020)

Below, the book chapters published by between 1992 and 2020, ordered by year of publication.


2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992

2020

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
Blockchain and Applications, Advances in Intelligent Systems and Computing 1010, 2020

Sara Montagna, Andrea Omicini
Agent-based Modelling in Multicellular Systems Biology
Data Analytics in Medicine: Concepts, Methodologies, Tools, and Applications, 2020

[top]

2019

Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Defeasible Systems in Legal Reasoning: A Comparative Assessment
Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference, Frontiers in Artificial Intelligence and Applications 322, 11-13 December 2019

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards XMAS: eXplainability through Multi-Agent Systems
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, CEUR Workshop Proceedings 2502, November 2019

Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
WOA 2019 – 20th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 2404, July 2019

Andrea Omicini, Roberta Calegari
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Massively Multi-Agent Systems II, Lecture Notes in Computer Science 11422, May 2019

Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
Preface – AI&IoT 2019
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, CEUR Workshop Proceedings 2502, November 2019

Danilo Pianini, Andrea Omicini
Democratic Process and Digital Platforms: An Engineering Perspective
The Future of Digital Democracy: An Interdisciplinary Approach, Lecture Notes in Computer Science 11300, January 2019

Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina SÎrbu
Preface
The Future of Digital Democracy: An Interdisciplinary Approach, Lecture Notes in Computer Science 11300, January 2019

Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, Communications in Computer and Information Science 1047, June 2019

Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap
{IEEE} 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 2019

Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming
{IEEE} 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 2019

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, Lecture Notes in Computer Science 11523, June 2019

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
Internet and Distributed Computing Systems, Lecture Notes in Computer Science 11874, 10–12 October 2019

[top]

2018

Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
Lecture Notes in Computer Science, Lecture Notes in Computer Science 11176, 2018

Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
Intelligent Agents and Environment
Reference Module in Life Sciences, March 2018

Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems
Programming with Actors: State-of-the-Art and Research Perspectives, Lecture Notes in Computer Science 10789, 2018

[top]

2017

Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Towards Argumentation-based Recommendations for Personalised Patient Empowerment
Proceedings of the 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), August 2017

Sara Montagna, Andrea Omicini
Agent-based Modelling in Multicellular Systems Biology
Multi-Agent Based Simulations Applied to Biological and Environmental Systems, Advances in Computational Intelligence and Robotics (ACIR), February 2017

Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017 – “18th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 1867, June 2017

Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
Preface
Agents and Multi-Agent Systems for Health Care, Lecture Notes in Computer Science 10685, 2017

Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Roberta Calegari, Enrico Denti
Context Reasoning and Prediction in Smart Environments: the Home Manager case
Intelligent Interactive Multimedia Systems and Services 2017, Smart Innovation, Systems and Technologies 76, 2017

Sara Montagna, Michele Braccini, Andrea Roli
The impact of self-loops in random boolean network dynamics
WIVACE 2017 -- Book of Abstracts, September 2017

Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
Autonomous Agents and Multiagent Systems, Lecture Notes in Computer Science 10643, 2017

Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
Agents and Multi-Agent Systems for Health Care, Lecture Notes in Computer Science 10685, 2017

[top]

2016

Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action, Lecture Notes in Computer Science 9934, 12-14 September 2016

Giovanni Sartor, Andrea Omicini
The Autonomy of Technological Systems and Responsibilities for their Use
Autonomous Weapon Systems. Law, Ethics, Policy, August 2016

Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9568, 15 March 2016

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016

Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, Electronic Proceedings in Theoretical Computer Science 217, 2016

Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages, Lecture Notes in Computer Science 9686, 2016

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
Data Management Technologies and Applications: 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers, Communications in Computer and Information Science 584, 2016

Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Lecture Notes in Computer Science 9700, 2016

Andrea Omicini
Foreward by Prof. Andrea Omicini
Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems, 2016

[top]

2015

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015

Stefano Mariani, Andrea Omicini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
AI*IA 2015, Advances in Artificial Intelligence, Lecture Notes in Computer Science 9336, 23-25 September 2015

Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Smart Augmented Fields for Emergency Operations
Procedia Computer Science, September 2015

Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science 9387, 2015

Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Preface
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science 9387, Ottobre 2015

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
Knowledge Discovery, Knowledge Engineering and Knowledge Management, Communications in Computer and Information Science 553, 2015

Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Engineering Multi-Agent Systems (EMAS 2015), 2015

Andrea Omicini, Stefano Mariani
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
Agent Environments for Multi-Agent Systems IV, Lecture Notes in Computer Science 9068, November 2015

Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems, Lecture Notes in Computer Science 9039, 2015

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
Knowledge Discovery, Knowledge Engineering and Knowledge Management, Communications in Computer and Information Science 553, 2015

[top]

2014

Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
Preface
Complex Networks V. Proceedings of the 5th Workshop on Complex Networks (CompleNet 2014), Studies in Computational Intelligence 549, 12-14 March 2014

Luca Cernuzzi, Ambra Molesini, Andrea Omicini
The Gaia Methodology Process
Handbook on Agent-Oriented Design Processes, 2014

Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
International Conference on Knowledge Discovery and Information Retrieval (KDIR 2015), 2014

Mirko Viroli, Ferruccio Damiani
A Calculus of Self-stabilising Computational Fields
Coordination Models and Languages, Lecture Notes in Computer Science 8459, 2014

Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
Introduction
Handbook on Agent-Oriented Design Processes, 2014

Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications, 2014

Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
The IEEE-FIPA Standard on the Design Process Documentation Template
Handbook on Agent-Oriented Design Processes, 2014

Ambra Molesini, Andrea Omicini
The SODA Methodology: Meta-Model and Process Documentation
Handbook on Agent-Oriented Design Processes, 2014

[top]

2013

Alessandro Ricci, Andrea Santi
From Actors and Concurrent Objects to Agent-Oriented Programming in {simpal}
Concurrent Objects and Beyond -- Festschrift in Honor of Akinori Yonezawa, 2013

Maria Cristina Matteucci, Elena Nardini, Andrea Omicini
Collaborative Learning and ICT: A Prototypal Learning Environment
Information and Communications Technology: New Research, Media and Communications - Technologies, Policies and Challenges. Electronics and Telecommunications Research, April 2013

Stefano Mariani, Andrea Omicini
Probabilistic Modular Embedding for Stochastic Coordinated Systems
Coordination Models and Languages, Lecture Notes in Computer Science 7890, June 2013

Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science 393, 2013

Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
Multiagent System Technologies, Lecture Notes in Computer Science 8076, 2013

Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Multi-Agent Systems, Lecture Notes in Computer Science 8245, December 2013

Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Organizing the Aggregate: Languages for Spatial Computing
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013

[top]

2012

Andrea Santi, Alessandro Ricci
Programming Distributed Multi-Agent Systems in simpAL
Proceedings of 13° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2012), 2012

Francesca Toni, Paolo Torroni
Bottom-Up Argumentation
Theorie and Applications of Formal Argumentation, Lecture Notes in Computer Science 7132, 2012

Giuliano Vitali, E. Magnanini, Nico Mennucci, Enrico Denti
VPN - Client-server object-oriented virtual plant modeling tool
Plant Growth Modeling, Simulation, Visualization and Applications - (Proc. of the 2012 IEEE Fourth International Symposium on, PMA 12), 2012

Christoph Dorn, Richard N Taylor
Architecture-driven modeling of adaptive collaboration structures in large-scale social web applications
Web Information Systems Engineering-WISE 2012, 2012

Mirko Viroli, Danilo Pianini, Jacob Beal
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Coordination Models and Languages, LNCS 7274, jun 2012

Andrea Santi, Alessandro Ricci
An Eclipse-based IDE for Agent-Oriented Programming in simpAL
Proc. of The Seventh Workshop of the Italian Eclipse Community, 2012

Andrea Omicini
Agents Writing on Walls: Cognitive Stigmergy and Beyond
The Goals of Cognition. Festschrift for Cristiano Castelfranchi, Tributes 20, December 2012

Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
BIO-CORE: Bio-inspired Self-organising Mechanisms Core
Bio-Inspired Models of Networks, Information, and Computing Systems, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 103, 2012

Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012

Sara Montagna, Mirko Viroli
A Computational Framework for Multilevel Morphologies
Morphogenetic Engineering, Understanding Complex Systems, 2012

[top]

2011

Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Preface
Declarative Agent Languages and Technologies VIII, Lecture Notes in Artificial Intelligence 6619, 2011

Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Processes Engineering and AOSE
Agent-Oriented Software Engineering X, Lecture Notes in Computer Science 6038, 2011

Clare Dixon, Alan Winfield, Micheal Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
Lecture Notes in Computer Science 6856, 2011

Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Self-organising Software, Natural Computing Series, 2011

Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems, Lecture Notes in Computer Science 6968, 29-30 September 2011

Stefan J. Witwicki, Edmund H. Durfee
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011

Andrea Omicini
Self-organising Knowledge-intensive Workspaces
Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda, May 2011

Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011

Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems
Engineering Applications of Artificial Intelligence 24(7), October 2011

Franco Zambonelli
Towards Social-ICT Organisms
Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda, May 2011

Aniruddha Dasgupta, Aditya K. Ghose
BDI Agents with Objectives and Preferences
Declarative Agent Languages and Technologies VIII, Lecture Notes in Computer Science 6619, 2011

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
Communications in Computer and Information Science 50, 2011

[top]

2010

Sara Montagna, Nicola Donati, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
Artificial Life XII, 19-23 August 2010

Ambra Molesini, Enrico Denti, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
Agents and Artificial Intelligence, Communications in Computer and Information Science 67, 2010

Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy
Applications of Mathematics in Models, Artificial Neural Networks and Arts, 2010

Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Interacting with Virtual Plants: a Client-Server Approach
Proceedings of the 6th International Workshop on Functional-Structural Plant Models, September 2010

Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours
Swarm Intelligence, LNCS 6234, 2010

Giuliano Vitali, Eugenio Magnanini, Enrico Denti
Simulate plants: a client-server graphic approach
Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France, September 2010

Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?
A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, LNAI: State-of-the-Art Survey 6125, August 2010

Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
Programming Multi-Agent Systems, LNAI 5919, 2010

Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Self-Organizing Architectures, Lecture Notes in Computer Science 6090, July 2010

Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* , CEUR Workshop Proceedings 621, 5-7 September 2010

[top]

2009

Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09) - Revised and Extended version , Lecture Notes in Artificial Intelligence 5919, 2009

Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
A MAS Metamodel-Driven Approach to Process Fragments Selection
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers, Lecture Notes in Computer Science 5386, 2009

Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, CEUR Workshop Proceedings 487, August 2009

Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
Agent-based Modelling of Stem Cells
Multi-Agent Systems: Simulation and Applications, Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009

Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers, Lecture Notes Computer Science 5919, 2009

Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
Agents, Intelligence, and Tools
Artificial Intelligence: An International Perspective, Lecture Notes in Computer Science 5640, 2009

Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers, Lecture Notes in Computer Science 5386, 2009

Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009

Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialog Support
Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 5384, February 2009

Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO
Multi-Agent Programming II: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009

Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing, Lecture Notes in Computer Science 5474, 2009

Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models, Lecture Notes in Computer Science 5521, June 2009

Michele Piunti, Alessandro Ricci
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Knowledge Representation for Agents and Multi-Agent Systems, Lecture Notes in Artificial Intelligence 5605, 2009

Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
Engineering Societies in the Agents World IX, Lecture Notes in Computer Science 5485, June 2009

Luca Gardelli, Mirko Viroli, Andrea Omicini
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Multi-Agent Systems: Simulation and Applications, Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009

[top]

2008

Franco Zambonelli, Mirko Viroli
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
Intelligent Distributed Computing, Systems and Applications, Studies in Computational Intelligence 162/2008, September 2008

Ambra Molesini, Enrico Denti, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study
Engineering Societies in the Agents World VIII, Lecture Notes in Computer Science 4995, September 2008

Lin Padgham, John Thangarajah, Michael Winikoff
The Prometheus Design Tool ? A Conference Management System Case Study
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Canal Carlos, Pascal Poizat, Mirko Viroli
Preface
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007), Electronic Notes in Theoretical Computer Science 194, 2008

Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
Tool-Supported Development with Tropos: The Conference Management System Case Study
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
Argumentation in Multi-Agent Systems, Lecture Notes in Computer Science 4946, April 2008

Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008

Alessandro Ricci, Mirko Viroli, Andrea Omicini
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Programming Multi-Agent Systems, Lecture Notes in Computer Science 4908, April 2008

Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web
Logic Programming, Lecture Notes in Computer Science 5366, December 2008

Lin Padgham, Michael Luck
Introduction to AOSE Tools for the Conference Management System
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione. Viaggio nella logica computazionale in Italia, 3 June 2008

[top]

2007

Canal Carlos, Mirko Viroli
Preface
Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), Electronic Notes in Theoretical Computer Science 175, 2007

Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
Environments for MultiAgent Systems III, Lecture Notes in Computer Science 4389, May 2007

Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Interplay of Crosscutting and MAS-Specific Styles
Software Architecture, Lecture Notes in Computer Science 4758, September 2007

Luca Gardelli, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems
Multi-Agent Systems and Applications V, Lecture Notes in Computer Science 4696, September 2007

Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Measurement and Control of Self-organised Behaviour in Robot Swarms
Architecture of Computing Systems – ARCS 2007, LNCS 4415, 2007

Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
Environments for MultiAgent Systems III, Lecture Notes in Computer Science 4389, May-June 2007

Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Environments for MultiAgent Systems III, Lecture Notes in Computer Science 4389, May 2007

Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems, Lecture Notes in Computer Science 4725, August 2007

Daniel Dennett
Intentional Systems Theory
Oxford Handbook of the Philosophy of Mind, 2007

[top]

2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications, Lecture Notes in Computer Science 3914, April 2006

Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Computational Models of Argument, Frontiers in Artificial Intelligence and Applications 144, aug 2006

Rafael H. Bordini, Jomi F. Hübner
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
Computational Logic in Multi-Agent Systems, Lecture Notes in Computer Science 3900, April 2006

H. Van Dyke Parunak
A Survey of Environments and Mechanisms for Human-Human Stigmergy
Environments for Multi-Agent Systems II, Lecture Notes in Computer Science 3830, 2006

Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Engineering Self-Organising Systems, Lecture Notes in Computer Science 3910, 2006

William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Cognitive Modeling of Social Behaviours
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation, March 2006

L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Lecture Notes in Computer Science 3476, June 2006

Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems}
Innovations in Design & Decision Support Systems in Architecture and Urban Planning, 2006

Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Distributed Workflow upon Linkable Coordination Artifacts
Coordination Models and Languages, Lecture Notes in Computer Science 4038, June 2006

Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
Agent-Oriented Software Engineering VI, Lecture Notes in Computer Science 3950, 2006

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems, Lecture Notes in Computer Science 3862, March 2006

Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
Lecture Notes in Computer Science 4020, 2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Interactive Computation: The New Paradigm, September 2006

Canal Carlos, Mirko Viroli
Preface
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), Electronic Notes in Theoretical Computer Science 154, 2006

Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
Engineering Societies in the Agents World VI, Lecture Notes in Computer Science 3963, June 2006

Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, Lecture Notes in Computer Science 3913, June 2006

[top]

2005

Simon Dobson, Paddy Nixon
More Principled Design of Pervasive Computing Systems
Engineering Human Computer Interaction and Interactive Systems, LNCS 3425, 2005

Mirko Viroli, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions
Agent Communication, Lecture Notes in Artificial Intelligence 3396, January 2005

Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
An Agent-Oriented Conceptual Framework for Systems Biology
Transactions on Computational Systems Biology III, Lecture Notes in Computer Science 3737, December 2005

Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Preface
Transactions on Computational Systems Biology III, Lecture Notes in Computer Science 3737, December 2005

Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
Programming Multi-Agent Systems in 3APL
Multi-Agent Programming, Multiagent Systems, Artificial Societies, and Simulated Organizations 15, 2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages, Lecture Notes in Computer Science 3454, April 2005

Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Preface
Engineering Societies in the Agents World V, Lecture Notes in Computer Science 3451, June 2005

João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Preface
Declarative Agent Languages and Technologies II, Lecture Notes in Computer Science 3476, June 2005

Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Crowd Modeling and Simulation: Towards 3D Visualization
Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning, 2005

Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
A Trust Analysis Methodology for Pervasive Computing Systems
Trusting Agents for Trusting Electronic Societies, LNCS 3577, 2005

Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
Environments for Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3374, February 2005

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-based Coordination Languages
3rd International Conference on Formal Methods for Components and Objects (FMCO'04), LNCS 3657, 2005

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Environment-Based Coordination Through Coordination Artifacts
Environments for Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3374, February 2005

[top]

2004

Andrea Omicini, Franco Zambonelli
MAS as Complex Systems: A View on the Role of Declarative Approaches
Declarative Agent Languages and Technologies, Lecture Notes in Computer Science 2990, May 2004

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifiable Multi-agent Programs
Lecture Notes in Computer Science 3067, 2004

Andrea Omicini, Alessandro Ricci
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Enrico Denti, Nando Prati
Relevance of Winning Coalitions in Indirect Control of Corporations
Theory and Decision 56(2), 2 2004

Marc-Philippe Huget, Michael J. Wooldridge
Model Checking for ACL Compliance Verification
Advances in Agent Communication, 2004

Robert Tolksdorf, Ronaldo Menezes
Using Swarm Intelligence in Linda Systems
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM
Coordination Models and Languages, LNCS 2949, 2004

Andrea Omicini, Paolo Petta, Jeremy Pitt
Preface
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Andrea Omicini, Sascha Ossowski, Alessandro Ricci
Coordination Infrastructures in the Engineering of Multiagent Systems
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organizations 11, June 2004

Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
The Gaia Methodology
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organization 11, June 2004

Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
A Programming Language for Cognitive Agents: Goal Directed 3APL
Programming Multi-Agent Systems, Lecture Notes in Computer Science 3067, 2004

Martin Fredriksson, Rune Gustavsson
Online Engineering and Open Computational Systems
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organization 11, 2004

Enrico Denti, Alessandro Ricci, Rossella Rubino
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Engineering Societies in the Agents World IV, Lecture Notes in Artificial Intelligence 3071, July 2004

João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Preface
Declarative Agent Languages and Technologies, Lecture Notes in Computer Science 2990, May 2004

[top]

2003

Marco Mamei, Franco Zambonelli, Letizia Leonardi
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems
Engineering Societies in the Agents World III, Lecture Notes in Computer Science 2577, 2003

Alessandro Ricci, Andrea Omicini, Enrico Denti
Activity Theory as a Framework for MAS Coordination
Engineering Societies in the Agents World III, Lecture Notes in Computer Science 2577, April 2003

Simon Miles, Mike Joy, Michael Luck
Towards a Methodology for Coordination Mechanism Selection in Open Systems
Engineering Societies in the Agents World IIII, Lecture Notes in Computer Science 2577, 2003

Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
Preface
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications, Lecture Notes in Computer Science 2603, 2003

Andrea Omicini, Sascha Ossowski
Objective versus Subjective Coordination in the Engineering of Agent Systems
Intelligent Information Agents: An AgentLink Perspective, Lecture Notes in Computer Science 2586, 2003

Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Preface
Cooperative Information Agents VII. 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003. Proceedings, Lecture Notes in Computer Science 2782, August 2003

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences
CONCUR 2003, Lecture Notes in Computer Science 2761, 2003

James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Modeling Agents and their Environment
Agent-Oriented Software Engineering III, LNCS 2585, 2003

Franco Zambonelli, H. Van Dyke Parunak
Signs of a Revolution in Computer Science and Software Engineering
Engineering Societies in the Agents World III, Lecture Notes in Computer Science 2577, April 2003

[top]

2002

Alessandro Ricci, Andrea Omicini, Enrico Denti
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
Coordination Models and Languages, Lecture Notes in Computer Science 2315, 2002

Andrea Omicini
Towards a Notion of Agent Coordination Context
Process Coordination and Ubiquitous Computing, October 2002

Ajay Kulkarni
Design Principles of a Reactive Behavioral System for the Intelligent Room
Bitstream: The MIT Journal of EECS Student Research, 2002

Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
Coordination Models and Languages, Lecture Notes in Computer Science 2315, 2002

Edsger Wybe Dijkstra
Co-operating Sequential Processes
The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls, 2002

[top]

2001

Davide Rossi, Giacomo Cabri, Enrico Denti
Tuple-based Technologies for Coordination
Coordination of Internet Agents: Models, Technologies, and Applications, January 2001

Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
Agent-Oriented Software Engineering for Internet Applications
Coordination of Internet Agents: Models, Technologies, and Applications, March 2001

Andrea Omicini, Paolo Petta, Robert Tolksdorf
Preface
Engineering Societies in the Agents World II, Lecture Notes in Computer Science 2203, December 2001

Enrico Denti, Andrea Omicini, Alessandro Ricci
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
Practical Aspects of Declarative Languages, Lecture Notes in Computer Science 1990, 2001

Jonsson Bengt, Kim G. Larsen, Wang Yi
Probabilistic Extensions of Process Algebras
Handbook of Process Algebra, 2001

Alessandro Ricci, Enrico Denti, Andrea Omicini
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
Cooperative Information Agents V, Lecture Notes in Computer Science 2182, 2001

Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
Gamma and the Chemical Reaction Model: Fifteen Years After
Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View, Lecture Notes in Computer Science 2235, 2001

Ian Foster
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
Euro-Par 2001 Parallel Processing, 2001

Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
Agent-Oriented Software Engineering, Lecture Notes in Computer Science 1957, 2001

Simon Miles, Mike Joy, Michael Luck
Designing Agent-Oriented Systems by Analysing Agent Interactions
Agent-Oriented Software Engineering, Lecture Notes in Computer Science 1957, 2001

[top]

2000

Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Multiagent System Engineering: The Coordination Viewpoint
Intelligent Agents VI. Agent Theories, Architectures, and Languages, Lecture Notes in Artificial Intelligence 1757, 2000

Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Preface
Engineering Societies in the Agents World, Lecture Notes in Computer Science 1972, December 2000

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
Coordination Languages and Models, Lecture Notes in Computer Science 1906, 2000

Andrea Omicini, Enrico Denti
Formal ReSpecT
Proceedings of the GULP-PRODE Joint Conference on Declarative Programming AGP'00 - La Habana, Cuba, December 4-7, 2000, 2000

Enrico Denti, Andrea Omicini, Vladimiro Toschi
The LuCe Coordination Technology for MAS Design and Development on the Internet
Coordination Languages and Models, Lecture Notes in Computer Science 1906, 2000

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Ruling Agent Motion in Structured Environments
High Performance Computing and Networking, Lecture Notes in Computer Science 1823, 2000

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Context-Dependency in Internet-Agent Coordination
Engineering Societies in the Agents World, Lecture Notes in Computer Science 1972, January 2000

[top]

1999

Enrico Denti, Andrea Omicini
Designing Multi-Agent Systems around an Extensible Communication Abstraction
Formal Models of Agents, Lecture Notes in Artificial Intelligence 1760, 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology
Multi-Agent Systems Engineering, Lecture Notes in Artificial Intelligence 1647, 1999

[top]

1998

George A. Papadopoulos, Farhad Arbab
Coordination Models and Languages
The Engineering of Large Systems, Advances in Computers 46, 1998

Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
A Formal Specification of dMARS
Intelligent Agents IV Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science 1365, 1998

Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Distributed Agents Supporting Event-Driven Design Processes
Artificial Intelligence in Design '98, 1998

[top]

1997

Yannis Labrou, Tim Finin
Semantics and Conversations for an Agent Communication Language
Readings in Agents, 1997

Enrico Denti, Antonio Natali, Andrea Omicini
Programmable Coordination Media
Coordination Languages and Models, Lecture Notes in Computer Science 1282, 1997

Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory
Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work
Mind, Culture, and Activity. Seminal Papers from the Laboratory of Comparative Human Cognition, October 1997

Michael J. Wooldridge
Issues in Agent-Based Software Engineering
Cooperative Information Agents, Lecture Notes in Computer Science 1202, 1997

[top]

1996

Anand S. Rao
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
Agents Breaking Away, Lecture Notes in Computer Science 1038, 22-25 January 1996

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications
Coordination Languages and Models, Lecture Notes in Computer Science 1061, September 1996

Stan Franklin, Art Graesser
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
Intelligent Agents III. Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science 1193, 1996

Anne-Alexandra Holzbacher
A Software Environment for Concurrent Coordinated Programming
Coordination Languages and Models, LNCS 1061, 1996

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
Frontiers of Combining Systems, Applied Logic Series 3, 1996

[top]

1995

Naftaly H. Minsky, Jerrold Leichter
Law-Governed Linda as a Coordination Model
Object-based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science 924, 1995

Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Robot Control Systems as Contextual Logic Programs
Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence 11, 1995

Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
La programmazione logica nello sviluppo del software: dai modelli agli strumenti
Ambienti per linguaggi di nuova concezione, Collana CNR/PF "Sistemi Informatici e Calcolo Parallelo" (1418) 4, 1995

Nadia Busi, Roberto Gorrieri
A Petri Net Semantics for pi-Calculus
CONCUR '95: Concurrency Theory, Lecture Notes in Computer Science 962, 1995

[top]

1994

B. Clifford Neuman
Scale in Distributed Systems
Readings in Distributed Computing Systems, 1994

Frank S. de Boer, Catiuscia Palamidessi
Embedding as a Tool for Language Comparison
Information and Computation, 1994

Enrico Denti, Antonio Natali, Andrea Omicini
Moving Prolog Toward Objects
Implementations of Logic Programming Systems, 1994

[top]

1993

Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming
Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 660, 1993

Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Foundations for Interaction: The Dependence Theory
Advances in Artificial Intelligence, Lecture Notes in Computer Science 728, 1993

Gordon W. Hewes
A History of Speculation on the Relation between Tools and Languages
Tools, Language and Cognition in Human Evolution, 1993

[top]

1992

Paolo Ciancarini
Parallel Logic Programming using the Linda Model of Computation
Reasearch Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, 1992

Robin Milner, Davide Sangiorgi
Barbed Bisimulation
Automata, Languages and Programming, Lecture Notes in Computer Science 623, 1992

[top]