The following pages link to Leendert van der Torre (Q185573):
Displaying 50 items.
- Time and defeasibility in FIPA ACL semantics (Q456719) (← links)
- On the input/output behavior of argumentation frameworks (Q464629) (← links)
- Substantive and procedural norms in normative multiagent systems (Q931774) (← links)
- Fibred security language (Q1037607) (← links)
- Permission from an input/output perspective (Q1402584) (← links)
- Input/output logics (Q1582229) (← links)
- Algorithms for tractable compliance problems (Q1633063) (← links)
- A deontic logic reasoning infrastructure (Q1670720) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- Contextual deontic logic: Normative agents, violations and independence (Q1861898) (← links)
- How to decide what to do? (Q1885765) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Modelling defeasible and prioritized support in bipolar argumentation (Q1935594) (← links)
- A socio-cognitive model of trust using argumentation theory (Q1951301) (← links)
- Contrary-to-duty reasoning with preference-based dyadic obligations (Q1978030) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- Argumentation as exogenous coordination (Q2028752) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Preface for Studia Logica special issue (2) (Q2269508) (← links)
- Meta-argumentation modelling. I: Methodology and techniques (Q2269509) (← links)
- Preference-based argumentation: arguments supporting multiple values (Q2270427) (← links)
- Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms (Q2271867) (← links)
- From classical to non-monotonic deontic logic using \(mathrm{ASPIC}^+\) (Q2291228) (← links)
- A partial taxonomy of judgment aggregation rules and their properties (Q2397659) (← links)
- New weak admissibility semantics for abstract argumentation (Q2695510) (← links)
- Base argumentation as an abstraction of deductive argumentation (Q2695535) (← links)
- (Q2701987) (← links)
- (Q2784791) (← links)
- Persistence and Monotony Properties of Argumentation Semantics (Q2792419) (← links)
- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System (Q2851958) (← links)
- (Q2863850) (← links)
- Toward a Linguistic Interpretation of Deontic Paradoxes (Q2879294) (← links)
- “Sing and Dance!” (Q2879297) (← links)
- Combining Constitutive and Regulative Norms in Input/Output Logic (Q2879305) (← links)
- Contrary-To-Duties in Games (Q2900485) (← links)
- Violation games: a new foundation for deontic logic ★ (Q2901204) (← links)
- Beyond Maxi-Consistent Argumentation Operators (Q2915089) (← links)
- Higher-Order Coalition Logic (Q2999189) (← links)
- Arguing about the Trustworthiness of the Information Sources (Q3011936) (← links)
- The Norm Implementation Problem in Normative Multi-Agent Systems (Q3056331) (← links)
- (Q3158980) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Visualizing Normative Systems: An Abstract Approach (Q3167593) (← links)
- Discussion Paper: Changing Norms Is Changing Obligation Change (Q3167605) (← links)
- A Dynamic Approach for Combining Abstract Argumentation Semantics (Q3305686) (← links)
- The Interplay between Relationships, Roles and Objects (Q3400935) (← links)
- On the Acceptability of Incompatible Arguments (Q3524934) (← links)
- An Attacker Model for Normative Multi-agent Systems (Q3527268) (← links)
- A Logical Architecture of a Normative System (Q3529351) (← links)
- Delegation of Power in Normative Multiagent Systems (Q3529352) (← links)
