A logic-based calculus of events
New Generation Computing
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Many-sorted logic and its applications
Many-sorted logic and its applications
Model checking
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Construction of Abstract State Graphs with PVS
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Predicate Abstraction of ANSI-C Programs Using SAT
Formal Methods in System Design
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Engineering Autonomic Electronic Institutions
Engineering Environment-Mediated Multi-Agent Systems
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Computational Logic in Multi-Agent Systems
Specifying and Enforcing Norms in Artificial Institutions
Declarative Agent Languages and Technologies VI
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
| Hi-index | 0.00 |
To increase positive expectations in the outcome of open multiagent systems, institutions have been put forward to regulate agents' behaviour. To modeland to verifysuch institutions, we propose to adopt the notion of status function, which provides for a unified approach to ontological and deontic aspects regulated by an institution. Also, to enhance the development of functionaland rationalinstitutions, we propose a language amenable to model checking to describe them and their properties. Finally, we present our tool and an evaluation of our approach.