Robust normative systems and a logic of norm compliance
DOI10.1093/JIGPAL/JZP070zbMATH Open1198.68232OpenAlexW2095098748MaRDI QIDQ3550951FDOQ3550951
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
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
computational complexityrobustnessfault tolerancecomputation tree logictemporal logicnormative systems
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cited In (29)
- An arrow-based dynamic logic of normative systems and its decidability
- Agent-based systems for norm compliance in food supply chains
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Human-inspired model for norm compliance decision making
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Multi-modal CTL: completeness, complexity, and an application
- Deductive coherence and norm adoption
- Title not available (Why is that?)
- 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
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
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)
