| 2024 | IJCAI | Formalisation and Evaluation of Properties for Consequentialist Machine Ethics. | Raynaldio Limarga, Yang Song, Abhaya Nayak, David Rajaratnam, Maurice Pagnucco |
| 2021 | AIES | Epistemic Reasoning for Machine Ethics with Situation Calculus. | Maurice Pagnucco, David Rajaratnam, Raynaldio Limarga, Abhaya Nayak, Yang Song |
| 2021 | KI | From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract). | Abhaya Nayak |
| 2019 | AAAI | Belief Change and Non-Monotonic Reasoning Sans Compactness. | Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
| 2019 | IJCAI | Belief Update without Compactness in Non-finitary Languages. | Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
| 2018 | KI | Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. | Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak |
| 2018 | KI | Maximizing Expected Impact in an Agent Reputation Network. | Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer |
| 2018 | KR | Towards Belief Contraction without Compactness. | Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |