Junli Jiang
5 papers · 2022–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (12) π§ Keyword Pioneer π£ Hot Topic Early Bird
π
Cross-Pollinator
(13)
Conferences
IJCAI (3)
AAAI (2)
Top co-authors
Keywords
modal logic
(4)
logical system
(2)
formal verification
(1)
strategic reasoning
(1)
social network
(1)
model checking
(1)
functional dependency
(1)
formal logic
(1)
multiagent system
(1)
preference reasoning
(1)
doxastic logic
(1)
belief modality
(1)
group decision-making
(1)
responsibility gap
(1)
strategic knowledge
(1)
knowledge modality
(1)
doxastic strategies
(1)
belief modalities
(1)
doxastic strategy
(1)
alternative possibilities
(1)