Representation results for defeasible logic
From MaRDI portal
Publication:3184510
DOI10.1145/371316.371517zbMath1171.68740DBLPjournals/tocl/AntoniouBGM01arXivcs/0003082OpenAlexW2098791425WikidataQ58177143 ScholiaQ58177143MaRDI QIDQ3184510
David Billington, Grigoris Antoniou, Michael J. Maher, Guido Governatori
Publication date: 21 October 2009
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0003082
Related Items (27)
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE ⋮ The rationale behind the concept of goal ⋮ Modal Rules: Extending Defeasible Logic with Modal Operators ⋮ A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling ⋮ Well-founded semantics for defeasible logic ⋮ Practical Normative Reasoning with Defeasible Deontic Logic ⋮ Inference to the stable explanations ⋮ Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter ⋮ Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories ⋮ Computing strong and weak permissions in defeasible logic ⋮ DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION ⋮ Levels of modality for BDI logic ⋮ Time and defeasibility in FIPA ACL semantics ⋮ Revision of defeasible preferences ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base ⋮ Business process verification with constraint temporal answer set programming ⋮ Relative expressiveness of defeasible logics ⋮ The foundations of DeLP: Defeating relations, games and truth values ⋮ Towards Context Sensitive Defeasible Rules ⋮ Enabling reasoning with LegalRuleML ⋮ Rethinking Defeasible Reasoning: A Scalable Approach ⋮ Computing defeasible meta-logic ⋮ Some (in)translatability results for normal logic programs and propositional theories ⋮ Interdefinability of defeasible logic and logic programming under the well-founded semantics ⋮ Temporal Deontic Defeasible Logic: An Analytical Approach
This page was built for publication: Representation results for defeasible logic
