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

DOI10.1007/S11787-006-0005-4zbMATH Open1116.03020OpenAlexW2161617778WikidataQ62583417 ScholiaQ62583417MaRDI QIDQ874749FDOQ874749

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

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

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)

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)