On logical specifications of the Argument Interchange Format

DOI10.1093/LOGCOM/EXS033MaRDI QIDQ2863166zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed

Publication date 21 November 2013

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

Full work available at URL https://semanticscholar.org/paper/21d42cbeeb1e51364311316e32993fa6c232e723

zbMATH Keywords

argument ontologyargumentation logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format
• Logic-based approaches to formal argumentation
• A logical account of formal argumentation
• Foundations for a logic of arguments
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Cited in

(7)

• Logic-based argumentation with existential rules
• Information graphs and their use for Bayesian network graph construction
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope
• An approach to characterize graded entailment of arguments through a label-based framework
• Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format
• An abstract and structured account of dialectical argument strength

This page was built for publication: On logical specifications of the Argument Interchange Format

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