Pages that link to "Item:Q3550951"
From MaRDI portal
The following pages link to Robust normative systems and a logic of norm compliance (Q3550951):
Displaying 21 items.
- Norm-based mechanism design (Q322076) (← links)
- Human-inspired model for norm compliance decision making (Q497560) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- Formal frameworks for verifying normative multi-agent systems (Q2026803) (← links)
- Norms for DLP agents working in a warehouse scenario (Q2773771) (← links)
- Agent-based systems for norm compliance in food supply chains (Q2893623) (← links)
- Normative Consistency: An Xstit Account (Q3121972) (← links)
- (Q3190364) (← links)
- A Logical Architecture of a Normative System (Q3529351) (← links)
- Deductive coherence and norm adoption (Q3550956) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- (Q5157022) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- (Q5733512) (← links)
- Deontic Logic in Computer Science (Q5901591) (← links)
- Action models for coalition logic (Q6550523) (← links)
- An arrow-based dynamic logic of normative systems and its decidability (Q6562529) (← links)