Modal logic
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Electronic Institutions: Future Trends and Challenges
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Multi-Agent Coordination through Coalition Formation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
The RETSINA MAS Infrastructure
Autonomous Agents and Multi-Agent Systems
Coalition formation through motivation and trust
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Contracts as Legal Institutions in Organizations of Autonomous Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Formalizing and achieving multiparty agreements via commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Journal of Logic and Computation
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
MAS-based Agent Societies by Means of Scout Movement
International Journal of Agent Technologies and Systems
Implementing HARMS-based indistinguishability in ubiquitous robot organizations
Robotics and Autonomous Systems
Hi-index | 0.00 |
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems such as organizations and institutions. There have been several model proposals in the agent literature with the aim to support, integrate, substitute human organizations, but no attempt has gone beyond the boundaries of this research context to become a mainstream software engineering implementation guideline, nor has it been adopted as a universal model of multi-agent interaction in economics or social sciences. In this work we counter top-down, operational organization specifications with a logical model of a fundamental concept: agreement, with the long-term aim to create a formal model of multi-agent organization that can serve as a universally accepted basis for implementation of collaborative distributed systems.