On the logic of theory change iteration of KM-update
From MaRDI portal
Publication:6088375
DOI10.1016/j.ijar.2023.109005OpenAlexW4385651725MaRDI QIDQ6088375
Eduardo L. Fermé, Sara Gonçalves
Publication date: 16 November 2023
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2023.109005
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Cites Work
- Unnamed Item
- Unnamed Item
- AGM 25 years. Twenty-five years of research in belief change
- Dynamic belief revision operators
- On updates of hybrid knowledge bases composed of ontologies and rules
- Iterated belief revision, revised
- A model for belief revision
- Propositional knowledge base revision and minimal change
- Subjunctives, dispositions and chances
- Foundational belief change
- On the logic of iterated belief revision
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Iterated revision and minimal change of conditional beliefs
- Propositional belief base update and minimal change
- Confluence Operators
- On the logic of theory change: Partial meet contraction and revision functions
- Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
- On properties of update sequences based on causal rejection
- Dynamic updates of non-monotonic knowledge bases
- Belief Change
- A Panorama of Iterated Revision
- Conditionals, Information, and Inference
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
This page was built for publication: On the logic of theory change iteration of KM-update
