Robust normative systems and a logic of norm compliance

DOI10.1093/JIGPAL/JZP070MaRDI QIDQ3550951zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, M. J. Wooldridge, Thomas Ågotnes

Publication date 8 April 2010

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp070

zbMATH Keywords

computational complexityrobustnessfault tolerancecomputation tree logictemporal logicnormative systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 3197097
• Reasoning about dynamic normative systems
• scientific article; zbMATH DE number 6345346
• A Logical Architecture of a Normative System
• Constitutive Norms in the Design of Normative Multiagent Systems
• Substantive and procedural norms in normative multiagent systems
• scientific article; zbMATH DE number 588315
• Equivalence of defeasible normative systems

Cited in

(29)

• Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
• Agent-based systems for norm compliance in food supply chains
• An arrow-based dynamic logic of normative systems and its decidability
• Deontic Logic in Computer Science
• Equivalence of defeasible normative systems
• Sublogics of a branching time logic of robustness
• A Logical Architecture of a Normative System
• Resource-bounded norm monitoring in multi-agent systems
• Expressiveness and succinctness of a logic of robustness
• scientific article; zbMATH DE number 3197097 (Why is no real title available?)
• scientific article; zbMATH DE number 2222698 (Why is no real title available?)
• A dynamic logic of norm change
• Judgement aggregation in non-classical logics
• \textsc{NorMC}: a norm compliance temporal logic model checker
• Normative Consistency: An Xstit Account
• Formal frameworks for verifying normative multi-agent systems
• Norm-based mechanism design
• Human-inspired model for norm compliance decision making
• scientific article; zbMATH DE number 6345346 (Why is no real title available?)
• scientific article; zbMATH DE number 7409099 (Why is no real title available?)
• Dependence and Independence in Social Choice: Arrow’s Theorem
• Multi-modal CTL: completeness, complexity, and an application
• Deductive coherence and norm adoption
• scientific article; zbMATH DE number 1712374 (Why is no real title available?)
• A Temporal Logic of Normative Systems
• Normative systems represented as hybrid knowledge bases
• Norms and learning in probabilistic logic-based agents
• Making Golog norm compliant
• Action models for coalition logic

This page was built for publication: Robust normative systems and a logic of norm compliance

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