Argumentative logics: Reasoning with classically inconsistent information
DOI10.1016/0169-023X(95)00013-IzbMATH Open0874.03029OpenAlexW2046131379MaRDI QIDQ3122520FDOQ3122520
Authors: 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
Recommendations
- Reasoning with contradictory information using quasi-classical logic
- A logic for reasoning with inconsistent knowledge
- An informational view of classical logic
- A logic for reasoning with inconsistency
- scientific article; zbMATH DE number 1852916
- Reasoning with maximal consistency by argumentative approaches
- Argumentation Semantics for Defeasible Logic
ArgumentationNonmonotonic reasoningUncertain informationNon-classical logicsAcceptability of inferencesDefeasible informationInconsistent informationParaconsistent logics
Other nonclassical logic (03B60) Knowledge representation (68T30) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Other applications of logic (03B80)
Cited In (23)
- Approximate coherence-based reasoning
- Title not available (Why is that?)
- Argumentation and inconsistency-tolerant reasoning
- A logic-based theory of deductive arguments
- An Algorithm for Generating Arguments in Classical Predicate Logic
- Enthymematic classical recapture
- An application of formal argumentation: fusing Bayesian networks in multi-agent systems
- A rational account of classical logic argumentation for real-world agents
- What can argumentation do for inconsistent ontology query answering?
- Sceptical and credulous approach to deductive argumentation
- Postulates for logic-based argumentation systems
- Minimal hypotheses: extension-based semantics to argumentation
- An informational view of classical logic
- Inferring from inconsistency in preference-based argumentation frameworks
- Standard and nonstandard logics of argumentation. I
- Paraconsistent inference from data using existential \(\Omega \)-entailment
- An argumentation framework for merging conflicting knowledge bases
- A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
- An argumentation system for reasoning with LPm
- Handling controversial arguments
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- On the merging of Dung's argumentation systems
- Classical logic, argument and dialectic
This page was built for publication: Argumentative logics: Reasoning with classically inconsistent information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3122520)
