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

DOI10.1007/s11787-006-0005-4zbMath1116.03020OpenAlexW2161617778WikidataQ62583417 ScholiaQ62583417MaRDI QIDQ874749

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) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Abstract deductive systems (03B22)

Related Items (1)

Arguing about social evaluations: from theory to experimentation

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