Two AGM-style characterizations of model repair
From MaRDI portal
Publication:2294584
DOI10.1007/S10472-019-09656-4zbMATH Open1477.03039OpenAlexW2964473111MaRDI QIDQ2294584FDOQ2294584
Renata Wassermann, Paulo T. Guerra
Publication date: 11 February 2020
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-019-09656-4
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?)
- Belief contraction without recovery
- A textbook of belief dynamics. Theory change and database updating
- On the logic of theory change: Partial meet contraction and revision functions
- Symbolic model checking: \(10^{20}\) states and beyond
- Propositional dynamic logic of regular programs
- Model Repair for Probabilistic Systems
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Results on the propositional \(\mu\)-calculus
- AGM 25 years. Twenty-five years of research in belief change
- Enhancing model checking in verification by AI techniques
- Abstract Model Repair
- Computer Aided Verification
- On AGM for non-classical logics
- BELIEF REVISION IN NON-CLASSICAL LOGICS
- Belief Revision in Non-Classical Logics
- Two AGM-style characterizations of model repair
- CTL update of Kripke models through protections
- Toward the Revision of CTL Models through Kripke Modal Transition Systems
Cited In (2)
This page was built for publication: Two AGM-style characterizations of model repair
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2294584)
