From iterated revision to iterated contraction: extending the Harper identity
From MaRDI portal
Publication:2289014
DOI10.1016/J.ARTINT.2019.103171zbMATH Open1478.03023OpenAlexW2973442115MaRDI QIDQ2289014FDOQ2289014
Publication date: 20 January 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://orca.cf.ac.uk/125889/1/EHIAIJ%20-%20after%20reviews.pdf
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Two modellings for theory change
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- On the logic of theory change: Partial meet contraction and revision functions
- What does a conditional knowledge base entail?
- Strong belief and forward induction reasoning.
- Propositional knowledge base revision and minimal change
- Iterated belief revision, revised
- On the logic of iterated belief revision
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- Handbook of Computational Social Choice
- A Panorama of Iterated Revision
- Iterated belief change and the recovery axiom
- Iterated revision and minimal change of conditional beliefs
- The measurement of ranks and the laws of iterated contraction
- Three approaches to iterated belief contraction
- Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
- Dynamic belief revision operators
- How to revise a total preorder
- A note on the rational closure of knowledge bases with both positive and negative knowledge
- When Maximizing Entropy gives the Rational Closure
Cited In (4)
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
- Elementary belief revision operators
This page was built for publication: From iterated revision to iterated contraction: extending the Harper identity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289014)
