Non-monotonic Reasoning for Machine Ethics with Situation Calculus. - Raynaldio Limarga; Maurice Pagnucco; Yang Song 001; Abhaya Nayak (Australasian Conference on Artificial Intelligence, 2020)

Epistemic Reasoning for Machine Ethics with Situation Calculus. - Maurice Pagnucco; David Rajaratnam; Raynaldio Limarga; Abhaya Nayak; Yang Song 001 (AIES, 2021)

Epistemic Reasoning in Computational Machine Ethics. - Raynaldio Limarga; Yang Song 001; Maurice Pagnucco; David Rajaratnam (AI (2), 2023)

Formalisation and Evaluation of Properties for Consequentialist Machine Ethics. - Raynaldio Limarga; Yang Song 001; Abhaya Nayak; David Rajaratnam; Maurice Pagnucco (IJCAI, 2024)

Computational Machine Ethics: A Survey. - Tammy Zhong; Yang Song 001; Raynaldio Limarga; Maurice Pagnucco (J. Artif. Intell. Res., 2025)