Collaborative plans for complex group action
Artificial Intelligence
Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
ROADMAP: extending the gaia methodology for complex open systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
The MADKIT Agent Platform Architecture
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Towards Layered Dialogical Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans
Autonomous Agents and Multi-Agent Systems
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
Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Autonomous Agents and Multi-Agent Systems
Mechanisms for Cooperative Behaviour in Agent Institutions
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
The Tropos software development methodology: processes, models and diagrams
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
The role of roles in designing effective agent organizations
Software engineering for large-scale multi-agent systems
Bargaining and argument-based negotiation: some preliminary comparisons
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
S-Moise+: a middleware for developing organised multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Relationships between actions performed by institutional agents, human agents or software agents
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
| Hi-index | 0.00 |
The need of methodologies and software tools that ease the development of applications where distributed (human or software) agents search, trade and negotiate resources is great. On the other hand, electronic institutions of multiple agents can play a main role in the development of systems where normative specifications play a vital role. Electronic institutions define the rules of the game in agent societies, by fixing what agents are permitted and forbidden to do and under what circumstances. In this paper we present a case study on the use of specific tools, supporting the specification, analysis and execution of institutions for Maritime e-Chartering, proposing an infrastructure for Internet-based Virtual Chartering Markets (MAVCM).