Nayak, Abhaya

3 publications

IJCAI 2024 Formalisation and Evaluation of Properties for Consequentialist Machine Ethics Raynaldio Limarga, Yang Song, Abhaya Nayak, David Rajaratnam, Maurice Pagnucco

AAAI 2019 Belief Change and Non-Monotonic Reasoning sans Compactness Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

IJCAI 2019 Belief Update Without Compactness in Non-Finitary Languages Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann