Two AGM-style characterizations of model repair (Q2294584): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing model checking in verification by AI techniques
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+CTL update of Kripke models through protections
@@ Property / cites work: CTL update of Kripke models through protections / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Model Repair
@@ Property / cites work: Abstract Model Repair / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+AGM 25 years. Twenty-five years of research in belief change
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+BELIEF REVISION IN NON-CLASSICAL LOGICS
@@ Property / cites work: BELIEF REVISION IN NON-CLASSICAL LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Toward the Revision of CTL Models through Kripke Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+Two AGM-style characterizations of model repair
@@ Property / cites work: Two AGM-style characterizations of model repair / rank @@
+Normal rank
@@ Property / cites work @@
+A textbook of belief dynamics. Theory change and database updating
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518818
@@ Property / cites work: Q4518818 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief Revision in Non-Classical Logics
@@ Property / cites work: Belief Revision in Non-Classical Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On AGM for non-classical logics
@@ Property / cites work: On AGM for non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624112
@@ Property / cites work: Q3624112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236367
@@ Property / cites work: Q4236367 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief contraction without recovery
@@ Property / cites work: Belief contraction without recovery / rank @@
+Normal rank