Scholar
Daxin Liu
Google Scholar ID: VC0dnrwAAAAJ
Assistant Professor, Nanjing University
Citations & Impact
Citations
88
H-index
5
i10-index
4
Publications
19
Co-authors
7
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- - Publications:
- - A Framework for Belief-based Programs and Their Verification (JAIR, 2025)
- - What Is a Counterfactual Cause in Action Theories? (AAMAS, 2025)
- - On Action Theories with Iterable First-Order Progression (AAAI, 2025)
- - Reasoning about Neural Network Perception in the Situation Calculus (IJCLR, 2024)
- - First-Order Progression beyond Local-Effect and Normal Actions (IJCAI, 2024)
- - Progression with Probabilities in the Situation Calculus: Representation and Succinctness (AAMAS, 2024)
- - Verifying Belief-based Programs via Symbolic Dynamic Programming (ECAI, 2023)
- - Concerning Measures in a First-order Logic with Actions and Meta-beliefs (KR, 2023)
- - On the Progression of Belief (AIJ, 2023)
- - Project: Key Technologies for Reliable Decision-Making Systems Based on Reasoning about Actions (NSFC Grant No. 6250071156, 2026.1 - 2028.12, Principal Investigator)
- - Community Service: Served as PC members for conferences such as AAAI 2023-2026, AAMAS 2025,2026; Reviewer for journals like Trans. on Comput. Logic; Guest Editor for Neurosymbolic AI
Research Experience
- - Assistant Professor, Nanjing University (Current)
- - Postdoctoral Researcher, University of Edinburgh (2023-2024), Supervisor: Dr. Vaishak Belle
- - Doctoral Researcher, RWTH Aachen University (2018-2022), Affiliated with the Knowledge-Based Systems Group and UnRAVeL Research Training Group
Education
- - Ph.D. (2018-2022): RWTH Aachen University, Supervisor: Prof. Gerhard Lakemeyer
- - M.Sc. (2018): Nanjing University, Computer Science
- - B.Sc. (2015): Central South University, Software Engineering
Background
- Research Interests: Artificial Intelligence, Knowledge Representation, Program Verification. Brief Bio: Currently an assistant professor at Nanjing University, focusing on logical and formal methods in artificial intelligence.
Miscellany
- The lab is expanding and is looking for prospective (bachelor/master/doctoral) students interested in the above research area. If you are interested, feel free to send us an email.
