Daxin Liu
4 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(14)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
modal logic
(2)
first-order logic
(2)
situation calculus
(2)
knowledge base
(1)
belief state
(1)
probabilistic programming
(1)
action theory
(1)
temporal property
(1)
action language
(1)
knowledge base update
(1)
fluent predicate
(1)
probabilistic logic
(1)
first-order progression
(1)
program verification
(1)
formal methods
(1)