Local Diagnosis
From MaRDI portal
Publication:4443394
DOI10.3166/jancl.11.107-129zbMath1041.68096OpenAlexW3037932711MaRDI QIDQ4443394
Publication date: 11 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.11.107-129
Related Items (3)
Deductive belief change ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Relevance in Belief Update
Cites Work
- Unnamed Item
- On the logic of theory change: safe contraction
- A theory of diagnosis from first principles
- A correction to the algorithm in Reiter's theory of diagnosis
- Belief contraction without recovery
- In defense of base contraction
- A survey of non-prioritized belief revision
- Tractable reasoning via approximation
- A textbook of belief dynamics. Theory change and database updating
- Semi-revision
- On the logic of theory change: Partial meet contraction and revision functions
- Kernel contraction
- On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
- New operators for theory change
This page was built for publication: Local Diagnosis
