An inclusion theorem for defeasible logics

DOI10.1145/1838552.1838558zbMath1351.68261OpenAlexW2094817192WikidataQ58176861 ScholiaQ58176861MaRDI QIDQ2946623

Grigoris Antoniou, Guido Governatori, Michael J. Maher, David Billington

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1838552.1838558

zbMATH Keywords

ambiguity propagationdefeasible logicambiguity blockingdefeasible logic variantsteam defeat

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (7)

Annotated defeasible logic ⋮ Well-founded semantics for defeasible logic ⋮ Practical Normative Reasoning with Defeasible Deontic Logic ⋮ Revision of defeasible preferences ⋮ Relative expressiveness of defeasible logics ⋮ Rethinking Defeasible Reasoning: A Scalable Approach ⋮ Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

This page was built for publication: An inclusion theorem for defeasible logics