A flexible approach to argumentation framework analysis using theorem proving

MaRDI QIDQ5037672zbMATH OpenFDO

Authors David Fuenmayor, Alexander Steen

Publication date 3 March 2022

zbMATH Keywords

abstract argumentationautomated reasoningextensional type theorymeta-logical reasoningproof assistants

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Representing argumentation frameworks in answer set programming
• Logic-based approaches to formal argumentation
• An investigation of argumentation framework characteristics
• scientific article; zbMATH DE number 7085043
• Metalevel argumentation

Cited in

(4)

• An investigation of argumentation framework characteristics
• Computer-supported analysis of arguments in climate engineering
• scientific article; zbMATH DE number 7696698 (Why is no real title available?)
• A formalization of abstract argumentation in higher-order logic

This page was built for publication: A flexible approach to argumentation framework analysis using theorem proving

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