A logic-based calculus of events
New Generation Computing
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Electronic Institutions: Future Trends and Challenges
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Coordinating Tasks in Agent Organizations
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum's formalization of agent organizations, on the SOCS computational logic agent framework and on the Event Calculus for representing and reasoning about time.