Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A normative framework for agent-based systems
Computational & Mathematical Organization Theory
Autonomous Agents and Multi-Agent Systems
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Electronic institutions for B2B: dynamic normative environments
Artificial Intelligence and Law
Roles and norms for programming agent organizations
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm-based behaviour modification in BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Deontic redundancy: a fundamental challenge for deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
A normative organisation programming language for organisation management infrastructures
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Specifying and reasoning about normative systems in deontic logic programming
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Reasoning about normative update
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
Abstract—Normative concepts (e.g., obligations and prohibitions) are seen as a suitable tool for regulating the observable behavior of software agents. An enforcement mechanism – a process that detects when a norm is active, detects violations of the norms and handles these violations – is crucial for the practical use of norms in the construction of multi-agent systems. We propose a programming language for programming normative artifacts in terms of “declarative” norms referring to a state of the world (as opposed to “procedural” norms only referring to actions), and introduce the operational semantics of the norm enforcement mechanism.