Junming Qiu
2 papers
· 2022–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
Conferences
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
belief revision
(1)
knowledge compilation
(1)
propositional logic
(1)
iterated belief revision
(1)
model counting
(1)
belief update
(1)
logical separability
(1)
km postulate
(1)
agm postulate
(1)
semantic characterization
(1)
partial preorder
(1)
normal form
(1)
clausal entailment
(1)
iterated update
(1)
iterated belief
(1)
faithful assignment
(1)