Abhaya Nayak
6 papers · 2015–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Bronze π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (14) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze
π
Conference Pioneer
π
Trend Setter
Top co-authors
Research topics
Keywords
belief revision
(3)
formal verification
(1)
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)
representation theorem
(1)
non-monotonic logic
(1)
Papers
Formalisation and Evaluation of Properties for Consequentialist Machine Ethics
IJCAI 2024
A Value-based Trust Assessment Model for Multi-agent Systems
IJCAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness
AAAI 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