1. Alchourrón C, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Log 50:510–530
2. Aucher G, Bolander T (2013) Undecidability in epistemic planning. In: Proceedings of the 23rd international joint conference on artificial intelligence (IJCAI/AAAI’13), pp 27–33
3. Baral C, Zhang Y (2005) Knowledge updates: semantics and complexity issues. Artif Intell 164(1–2):209–243
4. Batusov V, Soutchanski M (2018) Situation calculus semantics for actual causality. In: Proceedings of the 32nd national conference on artificial intelligence (AAAI’18), pp 1744–1752
5. Baumann R (2012) What does it take to enforce an argument? Minimal change in abstract argumentation. In: Proceedings of the 19th European conference on artificial intelligence (ECAI’12), pp 127–132