1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Aguado,2011
2. Aguado, F., et al.: Linear-time temporal answer set programming. Theory Pract. Log. Program. 23(1), 2–56 (2023)
3. Baral, C., Zhao, J.: Non-monotonic temporal logics for goal specification. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6–12 January 2007, pp. 236–242 (2007)
4. Baral, C., Zhao, J.: Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals. In: Fox, D., Gomes, C.P. (eds.) Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, 13–17 July 2008, pp. 406–411. AAAI Press (2008)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L Bozzelli,2016