Belief revision and computational argumentation: a critical comparison
From MaRDI portal
Publication:6097772
DOI10.1007/S10849-022-09369-8zbMATH Open1515.68298MaRDI QIDQ6097772FDOQ6097772
Authors: Pietro Baroni, Eduardo Fermé, Massimiliano Giacomin, Guillermo R. Simari
Publication date: 7 June 2023
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10400.13/4986
Recommendations
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- How to reason defeasibly
- Argumentation in artificial intelligence
- Belief contraction without recovery
- An abstract, argumentation-theoretic approach to default reasoning
- A survey of non-prioritized belief revision
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Defeasible logic programming: an argumentative approach
- Knowledge in flux. Modeling the dynamics of epistemic states
- Handbook of knowledge representation.
- On the status of the postulate of recovery in the logic of theory change
- Propositional knowledge base revision and minimal change
- Explanations, belief revision and defeasible reasoning.
- Argumentation update in YALLA (yet another logic language for argumentation)
- A translation-based approach for revision of argumentation frameworks
- Title not available (Why is that?)
- Change in abstract argumentation frameworks: adding an argument
- Title not available (Why is that?)
- A logic-based theory of deductive arguments
- Dynamics of argumentation systems: a division-based method
- A mathematical treatment of defeasible reasoning and its implementation.
- Title not available (Why is that?)
- Iterated belief revision, revised
- On the evaluation of argumentation formalisms
- On the logic of iterated belief revision
- Argument-based extended logic programming with defeasible priorities
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- A panorama of iterated revision
- AGM 25 years. Twenty-five years of research in belief change
- On principle-based evaluation of extension-based argumentation semantics
- An extension-based approach to belief revision in abstract argumentation
- Dynamic argument systems: A formal model of argumentation processes based on situation calculus
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Local change
- Theory contraction and base contraction unified
- Selective revision
- Admissible and restrained revision
- Title not available (Why is that?)
- Theory contraction through base contraction
- Revision by comparison
- Revising beliefs on the basis of evidence
- Skepticism relations for comparing argumentation semantics
- Providing foundations for coherentism
- Recovery and epistemic residue
- Title not available (Why is that?)
- Subjunctives, dispositions and chances
- Title not available (Why is that?)
- Stratified belief bases revision with argumentative inference
- AGM Theory and Artificial Intelligence
- Title not available (Why is that?)
- Notes on the history of ideas behind AGM
- A unified model of qualitative belief change: a dynamical systems perspective
- Descriptor revision. Belief change through direct choice
- Belief change. Introduction and overview
- A general semi-structured formalism for computational argumentation: definition, properties, and examples of application
- Enhancing statement evaluation in argumentation via multi-labelling systems
- Belief base contraction by belief accrual
- Foundational belief change
- Title not available (Why is that?)
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
- Merging existential rules programs in multi-agent contexts through credibility accrual
- Iterated belief change due to actions and observations
- AGM-like paraconsistent belief change
- Title not available (Why is that?)
Cited In (9)
- Argument revision
- Dynamic collective argumentation: constructing the revision and contraction operators
- Inconsistent-tolerant base revision through argument theory change
- Stratified belief bases revision with argumentative inference
- Merging operators on stratified belief bases equipped with argumentative inference
- Belief revision and argumentation: a reasoning process view
- Argumentation in Multi-Agent Systems
- Argumentation, reasoning, and belief revision
- An extension-based approach to belief revision in abstract argumentation
This page was built for publication: Belief revision and computational argumentation: a critical comparison
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6097772)