Belief revision and computational argumentation: a critical comparison
From MaRDI portal
Publication:6097772
DOI10.1007/s10849-022-09369-8zbMath1515.68298MaRDI QIDQ6097772
Massimiliano Giacomin, Eduardo L. Fermé, Guillermo R. Simari, Pietro Baroni
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
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Argumentation update in YALLA (yet another logic language for argumentation)
- Revising beliefs on the basis of evidence
- AGM 25 years. Twenty-five years of research in belief change
- Notes on the history of ideas behind AGM
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Dynamics of argumentation systems: a division-based method
- Theory contraction through base contraction
- Revision by comparison
- Skepticism relations for comparing argumentation semantics
- A mathematical treatment of defeasible reasoning and its implementation.
- Iterated belief revision, revised
- On the evaluation of argumentation formalisms
- Argumentation in artificial intelligence
- On principle-based evaluation of extension-based argumentation semantics
- On the status of the postulate of recovery in the logic of theory change
- A unified model of qualitative belief change: a dynamical systems perspective
- Belief contraction without recovery
- Propositional knowledge base revision and minimal change
- How to reason defeasibly
- Subjunctives, dispositions and chances
- Foundational belief change
- On the logic of iterated belief revision
- An abstract, argumentation-theoretic approach to default reasoning
- Providing foundations for coherentism
- A survey of non-prioritized belief revision
- Local change
- Descriptor revision. Belief change through direct choice
- An extension-based approach to belief revision in abstract argumentation
- A general semi-structured formalism for computational argumentation: definition, properties, and examples of application
- Explanations, belief revision and defeasible reasoning.
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Stratified belief bases revision with argumentative inference
- Recovery and epistemic residue
- Selective revision
- Merging existential rules programs in multi-agent contexts through credibility accrual
- Belief base contraction by belief accrual
- Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
- AGM Theory and Artificial Intelligence
- A Translation-Based Approach for Revision of Argumentation Frameworks
- Iterated Belief Change Due to Actions and Observations
- Argument-based extended logic programming with defeasible priorities
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- Theory contraction and base contraction unified
- Change in Abstract Argumentation Frameworks: Adding an Argument
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- On the logic of theory change: Partial meet contraction and revision functions
- AGM-like paraconsistent belief change
- Defeasible logic programming: an argumentative approach
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
- Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems
- Belief Change
- A Panorama of Iterated Revision
- A logic-based theory of deductive arguments
