Abhaya Nayak

12 papers A* 4C 1Misc 2Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2024 A* conf
Formalisation and Evaluation of Properties for Consequentialist Machine Ethics.
IJCAI
Raynaldio Limarga, Yang Song, Abhaya Nayak, David Rajaratnam, Maurice Pagnucco
2024 J jnl
Relevance, recovery and recuperation: A prelude to ring withdrawal.
Int. J. Approx. Reason.
Eduardo Fermé, Marco Garapa, Abhaya Nayak, Maurício D. Luís Reis
2021 C conf
Epistemic Reasoning for Machine Ethics with Situation Calculus.
AIES
Maurice Pagnucco, David Rajaratnam, Raynaldio Limarga, Abhaya Nayak, Yang Song
2021 — conf
From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract).
FCR@KI
Abhaya Nayak
2020 — conf
Non-monotonic Reasoning for Machine Ethics with Situation Calculus.
Australasian Conference on Artificial Intelligence
Raynaldio Limarga, Maurice Pagnucco, Yang Song, Abhaya Nayak
2019 J jnl
An Evolutionary GA-Based Approach for Community Detection in IoT.
IEEE Access
Sanket Mishra, Chinmay Hota, Lov Kumar, Abhaya Nayak
2019 A* conf
Belief Change and Non-Monotonic Reasoning Sans Compactness.
AAAI
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2019 A* conf
Belief Update without Compactness in Non-finitary Languages.
IJCAI
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2018 J jnl
Maximizing Expected Impact in an Agent Reputation Network - Technical Report.
CoRR
Gavin Rens, Abhaya Nayak, Thomas Meyer
2018 Misc conf
Maximizing Expected Impact in an Agent Reputation Network.
KI
Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer
2018 Misc conf
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence.
KI
Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak
2018 A* conf
Towards Belief Contraction without Compactness.
KR
Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski