Argumentation Semantics for Defeasible Logic

DOI10.1093/logcom/14.5.675zbMath1067.03038OpenAlexW2142953387WikidataQ58177112 ScholiaQ58177112MaRDI QIDQ4659505

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

Publication date: 21 March 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.5.675

zbMATH Keywords

nonmonotonic reasoningargumentation semanticsdefeasible logic

Mathematics Subject Classification ID

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

Related Items

Reasoning about preferences in argumentation frameworks ⋮ Preferences in artificial intelligence ⋮ Similarity measures based on compiled arguments ⋮ Argument strength in probabilistic argumentation using confirmation theory ⋮ An argumentation system for defeasible reasoning ⋮ Logical limits of abstract argumentation frameworks ⋮ Equivalence in logic-based argumentation ⋮ Argument strength in probabilistic argumentation based on defeasible rules ⋮ Annotated defeasible logic ⋮ Justifying answer sets using argumentation ⋮ A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling ⋮ Logical argumentation by dynamic proof systems ⋮ Well-founded semantics for defeasible logic ⋮ Weakest link in formal argumentation: lookahead and principle-based analysis ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks ⋮ Practical Normative Reasoning with Defeasible Deontic Logic ⋮ Inference to the stable explanations ⋮ Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories ⋮ Towards an Extensible Argumentation System ⋮ A QBF-based formalization of abstract argumentation semantics ⋮ Postulates for logic-based argumentation systems ⋮ Revision of defeasible preferences ⋮ The foundations of DeLP: Defeating relations, games and truth values ⋮ Towards Context Sensitive Defeasible Rules ⋮ A labelling framework for probabilistic argumentation ⋮ Enabling reasoning with LegalRuleML ⋮ How we designed winning algorithms for abstract argumentation and which insight we attained ⋮ On the evaluation of argumentation formalisms ⋮ Computing ideal sceptical argumentation ⋮ The carneades model of argument and burden of proof ⋮ Interdefinability of defeasible logic and logic programming under the well-founded semantics ⋮ Temporal Deontic Defeasible Logic: An Analytical Approach