Daxin Liu
4 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
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)
Papers
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
AAAI 2026
On Action Theories with Iterable First-Order Progression
AAAI 2025
First-Order Progression beyond Local-Effect and Normal Actions
IJCAI 2024
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic
IJCAI 2021