Abhaya Nayak
6 papers · 2015–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (11) π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (9) π£ Hot Topic Early Bird
π
Cross-Pollinator
(11)
π
Interdisciplinary Bridge
π
Conference Pioneer
Conferences
IJCAI (5)
AAAI (1)
Top co-authors
Keywords
belief revision
(2)
social choice
(1)
value alignment
(1)
social choice theory
(1)
non-monotonic reasoning
(1)
belief change
(1)
plan verification
(1)
formal logic
(1)
trust assessment
(1)
agent cooperation
(1)
epistemic logic
(1)
belief update
(1)
machine ethics
(1)
multi-agent system
(1)
situation calculus
(1)
km postulate
(1)
non-finitary logic
(1)
non-monotonic logic
(1)
compactness assumption
(1)
agm paradigm
(1)
Papers
Formalisation and Evaluation of Properties for Consequentialist Machine Ethics
IJCAI 2024
Belief Change and Non-Monotonic Reasoning Sans Compactness
AAAI 2019
A Value-based Trust Assessment Model for Multi-agent Systems
IJCAI 2019
Belief Update without Compactness in Non-finitary Languages
IJCAI 2019
A Unifying Framework for Probabilistic Belief Revision
IJCAI 2017
Probabilistic Belief Contraction Using Argumentation
IJCAI 2015