Argumentative logics: Reasoning with classically inconsistent information

DOI10.1016/0169-023X(95)00013-IzbMath0874.03029OpenAlexW2046131379MaRDI QIDQ3122520

Morten Elvang-Gøransson, Anthony Hunter

Publication date: 28 February 1997

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-023x(95)00013-i

zbMATH Keywords

Nonmonotonic reasoningNon-classical logicsArgumentationUncertain informationAcceptability of inferencesDefeasible informationInconsistent informationParaconsistent logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Paraconsistent logics (03B53) Other applications of logic (03B80)

Related Items

Minimal hypotheses: extension-based semantics to argumentation, PARACONSISTENT INFERENCE FROM DATA USING EXISTENTIAL Ω-ENTAILMENT, Instantiating abstract argumentation with classical logic arguments: postulates and properties, A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments, A logic-based theory of deductive arguments, An argumentation framework for merging conflicting knowledge bases, Approximate coherence-based reasoning, On the merging of Dung's argumentation systems, An application of formal argumentation: fusing Bayesian networks in multi-agent systems, Handling controversial arguments