| 2026 | AAAI | A Framework for Belief-based Programs and Their Verification (Abstract Reprint). | Daxin Liu, Gerhard Lakemeyer |
| 2025 | AAAI | On Action Theories with Iterable First-Order Progression. | Daxin Liu, Jens Claen |
| 2024 | IJCAI | First-Order Progression beyond Local-Effect and Normal Actions. | Daxin Liu, Jens Claen |
| 2023 | ECAI | Verifying Belief-Based Programs via Symbolic Dynamic Programming. | Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer |
| 2023 | KR | Concerning Measures in a First-order Logic with Actions and Meta-beliefs. | Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer |
| 2021 | IJCAI | Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. | Daxin Liu, Gerhard Lakemeyer |
| 2021 | KR | On the Progression of Belief. | Daxin Liu, Qihui Feng |
| 2018 | WISE | Diversified and Verbalized Result Summarization for Semantic Association Search. | Yu Gu, Yue Liang, Gong Cheng, Daxin Liu, Ruidi Wei, Yuzhong Qu |
| 2006 | AINA | Query Optimization Method Based on Automaton for Content-based Filtering. | Tong Wang, Daxin Liu, Xuan-Zuo Lin |
| 2006 | APWEB | Discovery of Web Services Applied to Scientific Computations Based on QOS. | Han Cao, Daxin Liu, Rui Fu |
| 2006 | APWEB | A Model of XML Access Control with Dual-Level Security Views. | Wei Sun, Daxin Liu, Tong Wang |
| 2006 | APWEB | Research of Multilevel Transaction Schedule Algorithm Based on Transaction Segments. | Hongbin Wang, Daxin Liu, Binge Cui |
| 2006 | APWEB | An Effective XML Filtering Method for High-Performance Publish/Subscribe System. | Tong Wang, Daxin Liu, Wei Sun, Wan-Song Zhang |
| 2006 | APWEB | Evaluation of Network Dependability Using Event Injection. | Huiqiang Wang, Yonggang Pang, Ye Du, Dong Xu, Daxin Liu |
| 2006 | APWEB | A New Automatic Intrusion Response Taxonomy and Its Application. | Huiqiang Wang, Gaofei Wang, Ying Lan, Ke Wang, Daxin Liu |
| 2006 | APWEB | Design and Implementation of a Workflow-Based Message-Oriented Middleware. | Yuezhu Xu, Daxin Liu, Feng Huang |
| 2006 | GPC | Clustering Large Scale of XML Documents. | Tong Wang, Daxin Liu, Xuan-Zuo Lin, Wei Sun, Gufran Ahmad |
| 2005 | ICCSA | Mining Schemas in Semi-structured Data Using Fuzzy Decision Trees. | Wei Sun, Daxin Liu |
| 2005 | ISI | Mining Schemas in Semistructured Data Using Fuzzy Decision Trees. | Wei Sun, Daxin Liu |
| 2005 | KES | An Inference Detection Algorithm Based on Related Tuples Mining. | Binge Cui, Daxin Liu |
| 2005 | RTCSA | Scheduling AND/OR Precedence Constraints Jobs to Minimize the Makespan by Mapping from CPM to AND/OR Network. | Tao Wang, Daxin Liu |
| 2004 | ICCSA | Applications of Fuzzy Data Mining Methods for Intrusion Detection Systems. | Jian Guan, Daxin Liu, Tong Wang |
| 2004 | IDEAL | A Novel Method for Mining Frequent Subtrees from XML Data. | Wan-Song Zhang, Daxin Liu, Jianpei Zhang |
| 2004 | ISNN | Improved SOM Clustering for Software Component Catalogue. | Zhuo Wang, Daxin Liu, Xiaoning Feng |