Generic logical encoding for argumentation

DOI10.1093/LOGCOM/EXAC039MaRDI QIDQ6042098zbMATH OpenOpenAlexFDO

Authors P. Besnard, Sylvie Doutre, Marie-Christine Lagasquie-Schiex

Publication date 16 May 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Encoding argument graphs in logic
• A sequent-based representation of logical argumentation
• An argumentation-theoretic foundation for logic programming
• A Logic of Abstract Argumentation
• Encoding deductive argumentation in quantified Boolean formulae
• Computing argumentation in logic programming
• Logic-based approaches to formal argumentation
• Argumentation in disjunctive logic programming
• Argumentation Semantics for Defeasible Logic

Cited in

(6)

• A propositional logical encoding of enriched interactions in abstract argumentation graphs
• RAFDivider  : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
• A formalization of abstract argumentation in higher-order logic
• Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks
• Generalising Predicate and Argument Invariance
• Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks

This page was built for publication: Generic logical encoding for argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6042098)