Daxin Liu

20 papers A* 6A 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Framework for Belief-based Programs and Their Verification (Abstract Reprint).
AAAI
Daxin Liu, Gerhard Lakemeyer
2025 J jnl
A Framework for Belief-based Programs and Their Verification.
J. Artif. Intell. Res.
Daxin Liu, Gerhard Lakemeyer
2025 A* conf
On Action Theories with Iterable First-Order Progression.
AAAI
Daxin Liu, Jens Claßen
2025 A conf
What Is a Counterfactual Cause in Action Theories?
AAMAS
Daxin Liu, Vaishak Belle
2025 J jnl
What Is a Counterfactual Cause in Action Theories?
CoRR
Daxin Liu, Vaishak Belle
2024 A* conf
First-Order Progression beyond Local-Effect and Normal Actions.
IJCAI
Daxin Liu, Jens Claßen
2024 A conf
Progression with Probabilities in the Situation Calculus: Representation and Succinctness.
AAMAS
Daxin Liu, Vaishak Belle
2024 — conf
Reasoning About Neural Network Perception in the Situation Calculus.
IJCLR
Vaishak Belle, Daxin Liu
2023 A conf
A Logic of Only-Believing over Arbitrary Probability Distributions.
AAMAS
Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer
2023 A* conf
Concerning Measures in a First-order Logic with Actions and Meta-beliefs.
KR
Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer
2023 J jnl
On the progression of belief.
Artif. Intell.
Daxin Liu, Qihui Feng
2023 — —
Projection in a probabilistic epistemic logic and its application to belief-based program verification.
Daxin Liu
2023 A conf
Verifying Belief-Based Programs via Symbolic Dynamic Programming.
ECAI
Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer
2022 J jnl
On the Verification of Belief Programs.
CoRR
Daxin Liu, Gerhard Lakemeyer
2021 J jnl
Fast Algorithms for Semantic Association Search and Pattern Mining.
IEEE Trans. Knowl. Data Eng.
Gong Cheng, Daxin Liu, Yuzhong Qu
2021 A* conf
On the Progression of Belief.
KR
Daxin Liu, Qihui Feng
2021 A* conf
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic.
IJCAI
Daxin Liu, Gerhard Lakemeyer
2019 J jnl
Fast and Practical Snippet Generation for RDF Datasets.
ACM Trans. Web
Daxin Liu, Gong Cheng, Qingxia Liu, Yuzhong Qu
2018 — conf
Diversified and Verbalized Result Summarization for Semantic Association Search.
WISE (1)
Yu Gu, Yue Liang, Gong Cheng, Daxin Liu, Ruidi Wei, Yuzhong Qu
2016 — conf
Efficient Algorithms for Association Finding and Frequent Association Pattern Mining.
ISWC (1)
Gong Cheng, Daxin Liu, Yuzhong Qu