Two AGM-style characterizations of model repair

DOI10.1007/S10472-019-09656-4zbMATH Open1477.03039OpenAlexW2964473111MaRDI QIDQ2294584FDOQ2294584

Authors Paulo T. Guerra, Renata Wassermann 

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

zbMATH Keywords

belief revisionmodel checkingrepresentation theoremmodel repair

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

• Toward the revision of CTL models through Kripke modal transition systems
• Abstract Model Repair
• Description of the belief revisions based on the propositional model sets
• Formalizing the repair process --- extended report
• The Complexity of Linear-Time Temporal Logic Model Repair

Cites Work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1269568 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• A textbook of belief dynamics. Theory change and database updating
• AGM 25 years. Twenty-five years of research in belief change
• Abstract Model Repair
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Belief contraction without recovery
• Belief revision in non-classical logics
• Belief revision in non-classical logics.
• CTL model update for system modifications
• CTL update of Kripke models through protections
• Computer Aided Verification
• Enhancing model checking in verification by AI techniques
• Model repair for probabilistic systems
• On AGM for non-classical logics
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional dynamic logic of regular programs
• Results on the propositional \(\mu\)-calculus
• Symbolic model checking: \(10^{20}\) states and beyond
• Toward the revision of CTL models through Kripke modal transition systems
• Two AGM-style characterizations of model repair

Cited In (4)

• Revising system specifications in temporal logic
• A refinement repair algorithm based on refinement game for KMTS models
• Toward the revision of CTL models through Kripke modal transition systems
• Two AGM-style characterizations of model repair

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)