Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Conformance Checking for Models of Asynchronous Message Passing Software
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Modeling Indirect Interaction in Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Environment as a first class abstraction in multiagent systems
Autonomous Agents and Multi-Agent Systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
JADE: A software framework for developing multi-agent applications. Lessons learned
Information and Software Technology
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
International Journal of Agent-Oriented Software Engineering
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
Integrating heterogeneous agent programming platforms within artifact-based environments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Artifacts in the A&A meta-model for multi-agent systems
Autonomous Agents and Multi-Agent Systems
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Embodying Organisations in Multi-agent Work Environments
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Knowledge Representation for Agents and Multi-Agent Systems
Instrumenting multi-agent organisations with organisational artifacts and agents
Autonomous Agents and Multi-Agent Systems
Bridging agent theory and object orientation: agent-like communication among objects
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Cognitive stigmergy: towards a framework based on agents and artifacts
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
E4MAS through electronic institutions
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
Co-argumentation artifact for agent societies
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
From organisation specification to normative programming in multi-agent organisations
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Environment programming in multi-agent systems: an artifact-based perspective
Autonomous Agents and Multi-Agent Systems
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
| Hi-index | 0.00 |
The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose to represent explicitly not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services, that are functional to the coordination and cooperation of the agents. These models will enable the verification of the interaction in the MAS, thanks to the introduction of a novel social semantics of interaction based on commitments and on an explicit account of the regulative rules.