Programming norm change

DOI10.1080/11663081.2012.682784zbMATH Open1400.68055OpenAlexW1989969137MaRDI QIDQ4583151FDOQ4583151

Nick Tinnemeier, Mehdi Dastani, John-Jules Meyer

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2012.682784

Recommendations

• A dynamic logic of norm change
• Reasoning about dynamic normative systems
• Discussion paper: Changing norms is changing obligation change
• Norm-aware and norm-oriented programming
• Normative Multi-agent Programs and Their Logics

zbMATH Keywords

programmingoperational semanticscomputational norm change

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Specifying norm-governed computational societies
• On the logic of theory change: Partial meet contraction and revision functions
• On social laws for artificial agent societies: off-line design
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Multi-Agent Programming
• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
• Multi-Agent Programming
• Normative Multi-agent Programs and Their Logics
• Programming norm change

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming norm change

Uses Software

• Society Visualiser

This page was built for publication: Programming norm change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583151)