Pages that link to "Item:Q3184510"
From MaRDI portal
The following pages link to Representation results for defeasible logic (Q3184510):
Displaying 27 items.
- Levels of modality for BDI logic (Q456714) (← links)
- Time and defeasibility in FIPA ACL semantics (Q456719) (← links)
- Well-founded semantics for defeasible logic (Q625708) (← links)
- The foundations of DeLP: Defeating relations, games and truth values (Q987489) (← links)
- Revision of defeasible preferences (Q1726329) (← links)
- Computing defeasible meta-logic (Q2055782) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Advancements in resource-driven substructural defeasible logic (Q2296710) (← links)
- Computing strong and weak permissions in defeasible logic (Q2441477) (← links)
- Inference to the stable explanations (Q2694572) (← links)
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter (Q2695506) (← links)
- Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE (Q3225378) (← links)
- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories (Q3522039) (← links)
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION (Q3528982) (← links)
- Towards Context Sensitive Defeasible Rules (Q3602951) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- The rationale behind the concept of goal (Q4593028) (← links)
- Relative expressiveness of defeasible logics (Q4911149) (← links)
- Rethinking Defeasible Reasoning: A Scalable Approach (Q4957204) (← links)
- Enabling reasoning with LegalRuleML (Q5197743) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)
- Temporal Deontic Defeasible Logic: An Analytical Approach (Q5505410) (← links)
- Stable normative explanations: from argumentation to deontic logic (Q6545525) (← links)
- A logic for the interpretation of private international law (Q6618552) (← links)
