Modelling inference in argumentation through labelled deduction: formalization and logical properties

DOI10.1007/S11787-006-0005-4MaRDI QIDQ874749zbMATH OpenOpenAlexWikidataFDO

Authors Guillermo R. Simari, Carlos Iván Chesñevar

Publication date 10 April 2007

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-006-0005-4

zbMATH Keywords

knowledge representationdefeasible argumentationargument constructionconsequence operatorsdefeasible consequencedialectical analysislabelled deductive systemsnonmonotonic inference operators

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27) Abstract deductive systems (03B22) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1292297
• Relations between assumption-based approaches in non-monotonic logic and formal argumentation: from structured argumentation to adaptive logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A logical account of formal argumentation
• An approach to characterize graded entailment of arguments through a label-based framework

Cited in

(2)

• Arguing about social evaluations: from theory to experimentation
• Labellings for assumption-based and abstract argumentation

This page was built for publication: Modelling inference in argumentation through labelled deduction: formalization and logical properties

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