The following pages link to Contrary-to-duty obligations (Q1922823):
Displaying 35 items.
- Design and evaluation of norm-aware agents based on normative Markov decision processes (Q324660) (← links)
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- New foundations for imperative logic. III: A general definition of argument validity (Q513983) (← links)
- A deontic logic framework allowing for factual detachment (Q545154) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB (Q735240) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- Deontic modals: why abandon the default approach (Q1707219) (← links)
- Two approaches to the formalisation of defeasible deontic reasoning (Q1922822) (← links)
- Unsettling preferential semantics (Q1986085) (← links)
- Defeasible normative reasoning (Q2054141) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Mapping deontic operators to abductive expectations (Q2509082) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Contrary-To-Duties in Games (Q2900485) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Principles Of Talmudic Logic (Q3305655) (← links)
- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic (Q3522043) (← links)
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking (Q3522045) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic (Q3623815) (← links)
- Remedial interchange, contrary-to-duty obligation and commutation (Q3643260) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Moral Particularism and Deontic Logic (Q4931568) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- (Q4993611) (← links)
- Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance (Q5170187) (← links)
- A Formal Language for Electronic Contracts (Q5428911) (← links)
- Deontic paradoxes in Mīmāṃsā logics: there and back again (Q6117139) (← links)
- Norms and deontic logic (Q6602222) (← links)
- Time and actual obligations (Q6629069) (← links)
