Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic-based calculus of events
New Generation Computing
Intention is choice with commitment
Artificial Intelligence
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An analysis of agent speech acts as institutional actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Coordination, Organizations, Institutions, and Norms in Agent Systems II: AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Total-order and partial-order planning: a comparative analysis
Journal of Artificial Intelligence Research
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Simulating computational societies
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Using SOA Provenance to Implement Norm Enforcement in e-Institutions
Coordination, Organizations, Institutions and Norms in Agent Systems IV
On the multimodal logic of normative systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
| Hi-index | 0.05 |
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study.