1. Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(02), 510–530.
2. Antoniou, G., Billington, D., & Maher, M. (1998). Sceptical logic programming based default reasoning: defeasible logic rehabilitated. In R. Miller, M. Shanahan (Eds.), COMMONSENSE 98, The 4th symposium on logical formalizations of commonsense reasoning, London.
3. Apt, K. R., & Pedreschi, D. (1993). Reasoning about termination of pure prolog programs. Information and Computation, 106, 109–157.
4. Baggio, G., Stenning, K., & van Lambalgen, M. (2016). The cognitive interface. In M. Aloni & P. Dekker (Eds.), Cambridge handbook of formal semantics. Cambridge: Cambridge University Press.
5. Boella, G, & van der Torre, L (2005). Permission and authorization in normative multiagent systems. In Procs. of int. conf. on artificial intelligence and law ICAIL (pp. 236–237).