1. Alchourrón, 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. Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-prolog. Theor. Pract. Log. Program. 3(4–5), 425–461 (2003)
3. Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Proceedings of 7th LOFT. Texts in Logic and Games 3, pp. 13–60. Amsterdam University Press (2008)
4. Baral, C.: Reasoning about actions : non-deterministic effects, constraints and qualification. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 2017–2023. Morgan Kaufmann Publishers, San Francisco (1995)
5. Baral, C., Gelfond, M., Provetti, A.: Representing actions: laws, observations and hypothesis. J. Log. Program. 31(1–3), 201–243 (1997)