Daxin Liu
Scholar

Daxin Liu

Google Scholar ID: VC0dnrwAAAAJ
Assistant Professor, Nanjing University
Artificial IntelligenceKnowledge RepresentationProgram Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
97
 
H-index
5
 
i10-index
5
 
Publications
19
 
Co-authors
7
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
7 total
Gerhard Lakemeyer
Gerhard Lakemeyer
Professor of Computer Science, RWTH Aachen University
Gong Cheng
Gong Cheng
Professor, Nanjing University
Vaishak Belle
Vaishak Belle
University of Edinburgh
Qihui Feng
Qihui Feng
RWTH University Aachen
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Yu Gu
Yu Gu
The Ohio State University