Daxin Liu

According to our database, Daxin Liu authored at least 19 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

On the Size Complexity and Decidability of First-Order Progression.

Jens Claßen, Daxin Liu

CoRR, May, 2026

A Framework for Belief-based Programs and Their Verification (Abstract Reprint).

Daxin Liu, Gerhard Lakemeyer

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

A Framework for Belief-based Programs and Their Verification.

Daxin Liu, Gerhard Lakemeyer

J. Artif. Intell. Res., 2025

What Is a Counterfactual Cause in Action Theories?

Daxin Liu, Vaishak Belle

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

On Action Theories with Iterable First-Order Progression.

Daxin Liu, Jens Claßen

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Reasoning About Neural Network Perception in the Situation Calculus.

Vaishak Belle, Daxin Liu

Proceedings of the Learning and Reasoning, 2024

First-Order Progression beyond Local-Effect and Normal Actions.

Daxin Liu, Jens Claßen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Progression with Probabilities in the Situation Calculus: Representation and Succinctness.

Daxin Liu, Vaishak Belle

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Projection in a probabilistic epistemic logic and its application to belief-based program verification.

Daxin Liu

PhD thesis, 2023

Concerning Measures in a First-order Logic with Actions and Meta-beliefs.

Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Verifying Belief-Based Programs via Symbolic Dynamic Programming.

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

A Logic of Only-Believing over Arbitrary Probability Distributions.

Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

On the Verification of Belief Programs.

Daxin Liu, Gerhard Lakemeyer

CoRR, 2022

2021

Fast Algorithms for Semantic Association Search and Pattern Mining.

Gong Cheng, Daxin Liu, Yuzhong Qu

IEEE Trans. Knowl. Data Eng., 2021

On the Progression of Belief.

Daxin Liu, Qihui Feng

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic.

Daxin Liu, Gerhard Lakemeyer

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2019

Fast and Practical Snippet Generation for RDF Datasets.

Daxin Liu, Gong Cheng, Qingxia Liu, Yuzhong Qu

ACM Trans. Web, 2019

2018

Diversified and Verbalized Result Summarization for Semantic Association Search.

Yu Gu, Yue Liang, Gong Cheng, Daxin Liu, Ruidi Wei, Yuzhong Qu

Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

2016

Efficient Algorithms for Association Finding and Frequent Association Pattern Mining.

Gong Cheng, Daxin Liu, Yuzhong Qu

Proceedings of the Semantic Web - ISWC 2016, 2016