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
knowledge representationdefeasible argumentationargument constructionconsequence operatorsdefeasible consequencedialectical analysislabelled deductive systemsnonmonotonic inference operators
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Abstract deductive systems (03B22)
Related Items (1)
This page was built for publication: Modelling inference in argumentation through labelled deduction: formalization and logical properties