Scholar
Daxin Liu
Google Scholar ID: VC0dnrwAAAAJ
Assistant Professor, Nanjing University
Artificial Intelligence
Knowledge Representation
Program Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
97
H-index
5
i10-index
5
Publications
19
Co-authors
7
list available
Publications
2 items
On the Size Complexity and Decidability of First-Order Progression
2026
Cited
0
What Is a Counterfactual Cause in Action Theories?
2025
Cited
0
Co-authors
5 total
Gerhard Lakemeyer
Professor of Computer Science, RWTH Aachen University
Gong Cheng
Professor, Nanjing University
Vaishak Belle
University of Edinburgh
Qihui Feng
RWTH University Aachen
Yu Gu
The Ohio State University
