Abhaya Nayak
6 papers
· 2015–2024
· 2 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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)