Inter-definability of Horn contraction and Horn revision
From MaRDI portal
Publication:2363417
DOI10.1007/S10992-016-9401-2zbMath1417.03145DBLPjournals/jphil/ZhuangPZ17OpenAlexW2384611872WikidataQ62045643 ScholiaQ62045643MaRDI QIDQ2363417
Yan Zhang, Zhiqiang Zhuang, Maurice Pagnucco
Publication date: 19 July 2017
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-016-9401-2
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
Related Items (7)
Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Belief Update Within Propositional Fragments ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Belief revision in Horn theories ⋮ Characterizability in Horn Belief Revision
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Minimal change: relevance and recovery revisited
- Dynamic belief revision operators
- Multiple and iterated contraction reduced to single-step single-sentence contraction
- Two modellings for theory change
- Propositional knowledge base revision and minimal change
- A survey of multiple contractions
- On the logic of iterated belief revision
- On the revision of probabilistic belief states
- Refined epistemic entrenchment
- A textbook of belief dynamics. Theory change and database updating
- Inter-definability of Horn contraction and Horn revision
- Belief revision in Horn theories
- Horn Clause Contraction Functions
- Entrenchment-Based Horn Contraction
- An Axiomatic Characterization of Ensconcement-Based Contraction
- On the logic of theory change: Partial meet contraction and revision functions
- Knowledge compilation and theory approximation
- Horn Contraction via Epistemic Entrenchment
This page was built for publication: Inter-definability of Horn contraction and Horn revision
