Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Alternating-time temporal logic
Journal of the ACM (JACM)
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Programming Normative Artifacts with Declarative Obligations and Prohibitions
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Verifying agents with memory is harder than it seemed
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Relentful strategic reasoning in alternating-time temporal logic
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Reasoning under compliance assumptions in normative multiagent systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A logic for normative multi-agent programs
Journal of Logic and Computation
Hi-index | 0.00 |
We consider the problem of updating a multi-agent system with a set of conditional norms. A norm comes into effect when its condition becomes true, and imposes either an obligation or a prohibition on an agent which remains in force until a state satisfying a deadline condition is reached. If the norm is violated, a sanction is imposed on the agent. We define a notion of a normative update of a multi-agent system by a set of conditional norms, and study the problem of checking whether the agent(s) can bring about a state satisfying a property without incurring a specified number of sanctions.