1. Alchourron, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)
2. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Automated support for diagnosis and repair. Commun. ACM 58(2), 65–72 (2015).
https://doi.org/10.1145/2658986
3. Bartocci, E., Grosu, R., Katsaros, P., Ramakrishnan, C.R., Smolka, S.A.: Model repair for probabilistic systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26?-April 3, 2011. Proceedings, pp. 326–340. Springer, Berlin (2011)
4. Bonakdarpour, B., Hajisheykhi, R., Kulkarni, S.S.: Knowledge-based automated repair of authentication protocols. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12–16, 2014. Proceedings, pp. 132–147. Springer International Publishing, Cham (2014)
5. Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: Enhancing model checking in verification by AI techniques. Artif. Intell. 112(1-2), 57–104 (1999).
https://doi.org/10.1016/S0004-3702(99)00039-9
.
http://linkinghub.elsevier.com/retrieve/pii/S0004370299000399