Programming norm change

DOI10.1080/11663081.2012.682784zbMath1400.68055OpenAlexW1989969137MaRDI QIDQ4583151

Nick Tinnemeier, Mehdi Dastani, John-Jules Ch. 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

zbMATH Keywords

operational semanticsprogrammingcomputational norm change

Mathematics Subject Classification ID

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

Related Items (3)

Programming norm change ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Society Visualiser

Cites Work

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

This page was built for publication: Programming norm change