Andrea Omicini

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems.

[BibT_eX]

[DOI]

Matteo Magnini

Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

2021

2P-Kt: A logic-based ecosystem for symbolic AI.

[BibT_eX]

[DOI]

SoftwareX, 2021

Logic-based technologies for multi-agent systems: a systematic literature review.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction.

[BibT_eX]

[DOI]

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Towards cooperative argumentation for MAS: an Actor-based approach.

[BibT_eX]

[DOI]

Giuseppe Pisano

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap.

[BibT_eX]

[DOI]

Andrea Agiollo

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

A Mechanism for Reasoning over Defeasible Preferences in Arg2P.

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors.

[BibT_eX]

[DOI]

Federico Sabbatini

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search.

[BibT_eX]

[DOI]

Andrea Agiollo

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Burden of Persuasion in Meta-argumentation.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Burden of Persuasion in Argumentation: A Meta-argumentation Approach.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

Twenty years of coordination technologies: COORDINATION contribution to the state of art.

[BibT_eX]

[DOI]

Giovanna Di Marzo Serugendo

Maxime Louvel

J. Log. Algebraic Methods Program., 2020

Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts.

[BibT_eX]

[DOI]

Inf., 2020

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives.

[BibT_eX]

[DOI]

Inf., 2020

On the integration of symbolic and sub-symbolic techniques for XAI: A survey.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2020

Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models.

[BibT_eX]

[DOI]

Complex., 2020

Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation.

[BibT_eX]

[DOI]

Complex., 2020

Neuro-symbolic Computation for XAI: Towards a Unified Model.

[BibT_eX]

[DOI]

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

2P-Kt: logic programming with objects & functions in Kotlin.

[BibT_eX]

[DOI]

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Computable Law as Argumentation-based MAS.

[BibT_eX]

[DOI]

Giovanni Sartor

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination.

[BibT_eX]

[DOI]

Ashley Caselli

Giovanna Di Marzo Serugendo

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Arg-tuProlog: a tuProlog-based Argumentation Framework.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Agent-Based Explanations in AI: Towards an Abstract Framework.

[BibT_eX]

[DOI]

Michael Ignaz Schumacher

Davide Calvaresi

Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2020

An Abstract Framework for Agent-Based Explanations in AI.

[BibT_eX]

[DOI]

Davide Calvaresi

Michael Ignaz Schumacher

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Not Just for Humans: Explanation for Agent-to-Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 Discussion Papers Workshop co-located with the the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA2020), 2020

Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming.

[BibT_eX]

[DOI]

Giovanni Sartor

Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

Argumentation and Logic Programming for Explainable and Ethical AI.

[BibT_eX]

[DOI]

Giovanni Sartor

Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019

Democratic Process and Digital Platforms: An Engineering Perspective.

[BibT_eX]

[DOI]

Danilo Pianini

Proceedings of the Future of Digital Democracy - An Interdisciplinary Approach, 2019

Intelligent Agents and Environment.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Logic programming as a service in multi-agent systems for the Internet of Things.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2019

Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop "From Objects to Agents", 2019

Towards Agent-Oriented Blockchains: Autonomous Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, 2019

Comparative Analysis of Blockchain Technologies Under a Coordination Perspective.

[BibT_eX]

[DOI]

Proceedings of the Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, 2019

Defeasible Systems in Legal Reasoning: A Comparative Assessment.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2019

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2019

TuSoW: Tuple Spaces for Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

Smart Contracts are More than Objects: Pro-activeness on the Blockchain.

[BibT_eX]

[DOI]

Proceedings of the Blockchain and Applications - International Congress, 2019

Towards XMAS: eXplainability through Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

2018

Logic programming as a service.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Extending Logic Programming with Labelled Variables: Model and Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Spatial Tuples: Augmenting reality with tuples.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2018

ReSpecTX: Programming interaction made easy.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2018

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning.

[BibT_eX]

[DOI]

Big Data Cogn. Comput., 2018

From the Blockchain to Logic Programming and Back: Research Perspectives.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop "From Objects to Agents", 2018

Logic Programming in Space-Time: The Case of Situatedness in LPaaS.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop "From Objects to Agents", 2018

Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Injecting (Micro)Intelligence in the IoT: Logic-Based Approaches for (M)MAS.

[BibT_eX]

[DOI]

Proceedings of the Massively Multi-Agent Systems II - International Workshop, 2018

Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

2017

Agent-based modeling for the self-management of chronic diseases: An exploratory study.

[BibT_eX]

[DOI]

Simul., 2017

State-of-the-Art and Trends in Nature-inspired Coordination Models.

[BibT_eX]

[DOI]

IEEE Intell. Informatics Bull., 2017

Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop "From Objects to Agents", 2017

Programming the Interaction Space Effectively with \texttt ReSpecT\mathbb X.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017

Logic Programming as a Service (LPaaS): Intelligence for the IoT.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section.

[BibT_eX]

[DOI]

Paul Scerri

IEEE Trans. Emerg. Top. Comput., 2016

Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases.

[BibT_eX]

[DOI]

Francesco Degli Angeli

Michele Donati

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Game Engines to Model MAS: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Towards Logic Programming as a Service: Experiments in tuProlog.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Privacy Through Anonymisation in Large-Scale Socio-Technical Systems: Multi-lingual Contact Centres Across the EU.

[BibT_eX]

[DOI]

Proceedings of the Internet Science - Third International Conference, 2016

Spatial Tuples: Augmenting Physical Reality with Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016

Challenges of decentralized coordination in large-scale ubicomp systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

Labelled Variables in Logic Programming: Foundations.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015

Developing pervasive multi-agent systems with nature-inspired coordination.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2015

Coordinating activities and change: An event-driven architecture for situated MAS.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2015

Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop "From Objects to Agents", 2015

Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation.

[BibT_eX]

[DOI]

Danilo Pianini

Proceedings of the Multi-Agent-Based Simulation XVI - International Workshop, 2015

Event-based vs. multi-agent systems: Towards a unified conceptual framework.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions.

[BibT_eX]

[DOI]

Giancarlo Fortino

Proceedings of the Coordination Models and Languages, 2015

A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation: Extended Abstract.

[BibT_eX]

[DOI]

Danilo Pianini

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Anticipatory Coordination in Socio-Technical Knowledge-Intensive Environments: Behavioural Implicit Communication in MoK.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Labelled Variables in Logic Programming: A First Prototype in tuProlog.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

TuCSoN Coordination for MAS Situatedness: Towards a Methodology.

[BibT_eX]

[DOI]

Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Coordination-Aware Elasticity.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

Coordination in Situated Systems: Engineering MAS Environment in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2014

Models of Autonomy and Coordination: Integrating Subjective and Objective Approaches in Agent Development Frameworks.

[BibT_eX]

[DOI]

Luca Sangiorgi

Proceedings of the Intelligent Distributed Computing VIII, 2014

Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Agent Environments for Multi-Agent Systems IV, 2014

The SODA Methodology: Meta-model and Process Documentation.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Agent-Oriented Design Processes, 2014

The Gaia Methodology Process.

[BibT_eX]

[DOI]

Luca Cernuzzi

Proceedings of the Handbook on Agent-Oriented Design Processes, 2014

2013

Semantic tuple centres.

[BibT_eX]

[DOI]

Pedro Pablo González Pérez

Sci. Comput. Program., 2013

Simulation in Agent-Oriented Software Engineering: The SODA case study.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

A biochemically inspired coordination-based model for simulating intracellular signalling pathways.

[BibT_eX]

[DOI]

Marco Sbaraglia

J. Simulation, 2013

Agents & multiagent systems: En route towards complex intelligent systems.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Probabilistic embedding: experiments with tuple-based probabilistic languages.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Event-Driven Programming for Situated MAS with ReSpecT Tuple Centres.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems - Preliminary Notes.

[BibT_eX]

[DOI]

Pierluigi Contucci

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2013

TuCSoN on Cloud: An Event-Driven Architecture for Embodied / Disembodied Coordination.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

Probabilistic Modular Embedding for Stochastic Coordinated Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Engineering Pervasive Multiagent Systems in SAPERE.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

Coordination for Situated MAS: Towards an Event-driven Architecture.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

Tuple-based Coordination of Stochastic Systems with Uniform Primitives.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop "From Objects to Agents" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Space-aware Coordination in ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop "From Objects to Agents" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

Self-Organising News Management: the Molecules of Knowledge Approach.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Towards the Analysis & Prediction of Complex System Behaviour in SAPERE.

[BibT_eX]

[DOI]

Marco Alberti

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Dynamic composition of coordination abstractions for pervasive systems: the case of <i>LogOp</i>.

[BibT_eX]

[DOI]

Ronaldo Menezes

Proceedings of the ACM Symposium on Applied Computing, 2012

Nature-Inspired Coordination for Complex Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

Molecules of Knowledge: Self-organisation in Knowledge-Intensive Environments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

Molecules of Knowledge: a Novel Perspective over Knowledge Management.

[BibT_eX]

[DOI]

Giovanna Di Marzo Serugendo

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

2011

Self-aware Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

Coordination models and languages: from parallel computing to self-organisation.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2011

Adaptable Multi-Agent Systems: the Case of the Gaia Methodology.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2011

Towards a logic framework for Web programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Infrastructures and tools for multiagent systems for the new generation of distributed systems.

[BibT_eX]

[DOI]

Ana García-Fornes

Jomi Fred Hübner

Juan A. Rodríguez-Aguilar

Vicente J. Botti

Eng. Appl. Artif. Intell., 2011

BaSi: Multi-Agent Based Simulation for Medieval Battles.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Description spaces with fuzziness.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Agent-based conference management: a case study in SODA.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2010

A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

A Multiscale Agent-based Model of Morphogenesis in Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

Documenting SODA: An Evaluation of the Process Documentation Template.

[BibT_eX]

[DOI]

Juan Carlos González Moreno

Proceedings of the 11th WOA 2010 Workshop, 2010

Self Organization in Coordination Systems Using a WordNet-Based Ontology.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Process Documentation Standardization: An Initial Evaluation.

[BibT_eX]

[DOI]

Massimo Cossentino

Alma Gómez-Rodríguez

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

An Agent-based Model for the Pattern Formation in Drosophila Melanogaster.

[BibT_eX]

[DOI]

Nicola Donati

Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Agents, Intelligence and Tools.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: An International Perspective, 2009

Environment in agent-oriented software engineering methodologies.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2009

Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

A framework for modelling and implementing self-organising coordination.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Situated process engineering for integrating processes from methodologies to infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Situated tuple centres in ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

An Agent-based Application for Home Intelligence.

[BibT_eX]

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

General-Purpose Coordination Abstractions for Managing Interaction in MAS.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Processes Engineering and AOSE.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering X - 10th International Workshop, 2009

Combining Simulation and Formal Tools for Developing Self-Organizing MAS.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - Simulation and Applications., 2009

Environment Programming in CArtAgO.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008

A&A for modelling and engineering simulations in Systems Biology.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

Designing self-organising environments with agents and artefacts: a simulation-driven approach.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

Artifacts in the A&A meta-model for multi-agent systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2008

Editorial: Special issue on foundations, advanced topics and industrial perspectives of multi-agent systems.

[BibT_eX]

[DOI]

Peter McBurney

Auton. Agents Multi Agent Syst., 2008

Arguments and Artifacts for Dispute Resolution.

[BibT_eX]

Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

Advancing Object-Oriented Standards toward Agent-Oriented Methodologies: SPEM 2.0 on SODA.

[BibT_eX]

Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

Situating A&A ReSpecT for Pervasive Environment Applications.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

A Logic Programming Model for Web Resources.

[BibT_eX]

Proceedings of the WEBIST 2008, 2008

Agent-Based Collaboration Systems: a Case Study.

[BibT_eX]

[DOI]

Proceedings of the Conference Knowledge Construction in E-learning Context: CSCL, 2008

The architecture and design of a malleable object-oriented prolog engine.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

SPEM on test: the SODA case study.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Multi-theory Logic Language for the World Wide Web.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

RBAC-MAS and SODA: Experimenting RBAC in AOSE.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IX, 2008

Towards a Logic Language and Framework for Web Programming.

[BibT_eX]

[DOI]

Proceedings of the Il Milione (i.e. 2^6), 2008

Argumentation and Artifact for Dialogue Support.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

Timed environment for web agents.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2007

Introduction to the special issue: The AgentLink III technical forums.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2007

Prototyping A&A ReSpecT in Maude.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Environment as a first class abstraction in multiagent systems.

[BibT_eX]

[DOI]

Danny Weyns

James Odell

Auton. Agents Multi Agent Syst., 2007

Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2007

Building Smart Environments as Agent Workspaces.

[BibT_eX]

[DOI]

Giuseppe Vizzari

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

The A&AProgramming Model and Technology for Developing Agent Environments in MAS.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

From AO Methodologies to MAS Infrastructures: The SODACase Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VIII, 2007

Design Patterns for Self-organising Systems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications V, 2007

Give agents their artifacts: the A&A approach for engineering working environments in MAS.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Co-argumentation Artifact for Agent Societies.

[BibT_eX]

[DOI]

Peter McBurney

Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

2006

Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Operating instructions for intelligent agent coordination.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2006

Multiagent Systems.

[BibT_eX]

Agostino Poggi

Intelligenza Artificiale, 2006

Coordination as a Service.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Formal ReSpecT in the A&A Perspective.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Preface.

[BibT_eX]

[DOI]

Guido Boella

Mehdi Dastani

Leendert W. N. van der Torre

Ivana Cerna

Isabelle Linden

Proceedings of the 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, 2006

Agent coordination contexts in a mas coordination infrastructure.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Minority Game: A Logic-Based Approach in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Simulation of Minority Game in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Environent as a First-Class Abstraction in Multiagent Systems.

[BibT_eX]

[DOI]

Danny Weyns

James Odell

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Designing Self-organising MAS Environments: The Collective Sort Case.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Distributed Workflow upon Linkable Coordination Artifacts.

[BibT_eX]

[DOI]

Nicola Zaghini

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

An Agent-Oriented Conceptual Framework for Systems Biology.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2005

Multi-paradigm Java-Prolog integration in tuProlog.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

The AgentLink III Technical Forums: Introduction to the Special Issue.

[BibT_eX]

[DOI]

Peter McBurney

Knowl. Eng. Rev., 2005

<i>Agens Faber</i>: Toward a Theory of Artefacts for MAS.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Coordination and Organisation, 2005

Process-algebraic approaches for multi-agent systems: an overview.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

An algebraic approach for modelling organisation, roles and contexts in MAS.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS.

[BibT_eX]

[DOI]

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Programming MAS with Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2005

Cognitive Stigmergy: A Framework Based on Agents and Artifacts.

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

SODA: A Roadmap to Artefacts.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VI, 2005

Time-Aware Coordination in ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

MAS Meta-models on Test: UML vs. OPM in the SODA Case Study.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications IV, 2005

Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts.

[BibT_eX]

[DOI]

Rossella Rubino

Proceedings of the Coordination, 2005

On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in .

[BibT_eX]

[DOI]

Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005

Zooming Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

Coordination And Collaboration Activities In Cooperative Information Systems.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2004

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

RBAC for Organisation and Security in an Agent Coordination Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Challenges and Research Directions in Agent-Oriented Software Engineering.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2004

Multi-Agent Infrastructures For Objective And Subjective Coordination.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2004

Engineering Trust in Complex System through Mediating Infrastructures.

[BibT_eX]

Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

A Conceptual Framework for Self-Organising MAS.

[BibT_eX]

Cristiano Castelfranchi

Luca Tummolini

Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004).

[BibT_eX]

[DOI]

Dina Q. Goldin

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Towards Seamless Agent Middleware.

[BibT_eX]

[DOI]

Giovanni Rimassa

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Integrating objective & subjective coordination in multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

"Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages.

[BibT_eX]

[DOI]

Luca Tummolini

Cristiano Castelfranchi

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Environment-Based Coordination Through Coordination Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Coordination Artifacts: Environment-Based Coordination for Intelligent Agents.

[BibT_eX]

[DOI]

Cristiano Castelfranchi

Luca Tummolini

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study.

[BibT_eX]

[DOI]

Ronaldo Menezes

Proceedings of FOCLASA 2003, 2003

Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN.

[BibT_eX]

Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Supporting Coordination in Open Computational Systems with TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

First International Workshop on Theory and Practice of Open Computational Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Coordination Models, Languages and Applications Track Editorial.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Task-oriented engineering of coordinated software systems.

[BibT_eX]

Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IV, 2003

MAS as Complex Systems: A View on the Role of Declarative Approaches.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

Objective versus Subjective Coordination in the Engineering of Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Agents - The AgentLink Perspective, 2003

2002

Coordination knowledge engineering.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2002

Modelling Agents as Observable Sources.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2002

Virtual Enterprises and Workflow Management As Agent Coordination Issues.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2002

Coordination as a Service: Ontological and Formal Foundation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

An Observation Approach to the Semantics of Agent Communication Languages.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2002

Coordination Tools for MAS Development and Deployment.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2002

Agent Coordination Contexts: Experiments in TuCSoN.

[BibT_eX]

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Have ReSpecT for LogOp.

[BibT_eX]

Ronaldo Menezes

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

A Framework for Systemic Coordination in Open Computational Systems.

[BibT_eX]

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Editorial message: special track on coordination models, languages and applications.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

On the Expressiveness of Event-based Coordination Media.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Extending ReSpecT for Multiple Coordination Flows.

[BibT_eX]

Carlos José Pereira de Lucena

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Software engineering for large-scale multi-agent systems: SELMAS'2002.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

A Specification Language for Agents Observable Behavior.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

Activity Theory as a Framework for MAS Coordination.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World III, 2002

Tuple-Based Models in the Observation Framework.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Specifying agent observable behaviour.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Engineering agent societies: a case study in smart environments.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

From tuple spaces to tuple centres.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

Coordination as a Paradigm for Systems Integration.

[BibT_eX]

[DOI]

George A. Papadopoulos

J. Syst. Integr., 2001

Formal ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming, 2001

Preface.

[BibT_eX]

[DOI]

Agostino Dovier

Maria Chiara Meo

Proceedings of the Declarative Programming, 2001

LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2001

Why Coordination Models and Languages in AI?

[BibT_eX]

[DOI]

George A. Papadopoulos

Appl. Artif. Intell., 2001

Multi-Agent Systems as Composition of Observable Systems.

[BibT_eX]

Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

Enlightened Agents in TuCSoN.

[BibT_eX]

Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

The TuCSoN Coordination Infrastructure for Virtual Enterprises.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

On observation as a coordination paradigm: an ontology and a formal framework.

[BibT_eX]

[DOI]

Gianluca Moro

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Coordination models, languages applications track chair messages.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2001

Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

Agent-Oriented Software Engineering for Internet Applications.

[BibT_eX]

Nicholas R. Jennings

Michael J. Wooldridge

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

Preface: Coordination of Internet Agents.

[BibT_eX]

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

Basic Enabling Technologies, Introduction.

[BibT_eX]

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

Coordination Models and Languages: State of the Art, Introduction.

[BibT_eX]

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems.

[BibT_eX]

Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

A Coordination Infrastructure for Agent-based Internet Applications.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 2000

Ruling Agent Motion in Structured Environments.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

The LuCe Coordination Technology for MAS Design and Development on the Internet.

[BibT_eX]

[DOI]

Vladimiro Toschi

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

1999

An Architecture for Tuple-Based Coordination of Multi-Agent Systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1999

Coordination Technologies for Internet Agents.

[BibT_eX]

Paolo Ciancarini

Nord. J. Comput., 1999

Coordination for Internet Application Development.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 1999

Tuple Centres for the Coordination of Internet Agents.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

On the Semantics of Tuple-Based Coordination Models.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Modelling Network Topology and Mobile Agent Interaction: An Integrated Framework.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

The HiMAT Model for Mobile Agent Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Building Mobile Agent Applications in HiMAT.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Multi-agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology.

[BibT_eX]

[DOI]

Proceedings of the MultiAgent System Engineering, 1999

Adopting an Object-Oriented Data Model in Inductive Logic Programming.

[BibT_eX]

[DOI]

Michela Milano

Fabrizio Riguzzi

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

Multiagent System Engineering: The Coordination Viewpoint.

[BibT_eX]

[DOI]

Paolo Ciancarini

Proceedings of the Intelligent Agents VI, 1999

1998

Co-ordination of mobile information agents in TuCSoN.

[BibT_eX]

[DOI]

Internet Res., 1998

On the expressive power of a language for programming coordination media.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1997

Designing Multi-agent Systems around an Extensible Communication Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Formal Models of Agents, 1997

Programmable Coordination Media.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Logic Tuple Spaces for the Coordination of Heterogeneous Agents.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

An Extensible Frame work for the Development of Coordinated Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995

Agent Coordination and Control through Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the Topics in Artificial Intelligence, 1995

Robot Control Systems as Contextual Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

A Multi-Agent Framework and Programming Environment for Autonomous Robotics.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Robotics and Automation, 1994

Object-Oriented Computations in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993

Objects with State in Contextual Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Moving Prolog Toward Objects.

[BibT_eX]

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

Exploiting Logic Programming in Robot Applications.

[BibT_eX]

Francesco Zanichelli

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Techniques for Implementing Contexts in Logic Programming.

[BibT_eX]

[DOI]