Skeleton-based agent development for electronic institutions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Lifecycle for Models of Large Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Proceedings of the 17th IEEE international conference on Automated software engineering
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
MANAGING RESPONSIVE ENVIRONMENTS WITH SOFTWARE AGENTS
Applied Artificial Intelligence
Conflict resolution in norm-regulated environments via unification and constraints
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
| Hi-index | 0.00 |
We propose a notation to specify and reason about an expressive class of protocols. Our notation is logic-based, employing a restricted form of first-order constructs added with sets. We formally associate the syntax of our constructs with a precise semantics. The semantics enables us to automatically build explicit models which can be used to restrict the possible executions of a given Multi-Agent System. Our notation has been incorporated to a variant of electronic institutions -- an encompassing and flexible approach to specify open agent organisations -- and we have implemented a proof-of-concept platform to enact arbitrary protocols using our notation.