Chen, Yijia

1. Slicewise definability in first-order logic with bounded quantifier rank
   2017/04/11 by Yijia Chen, J. Flum, Chen, Yijia +3 · 2 citations
   Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory
2. A parameterized halting problem, Δ₀ truth and the MRDP theorem
   2022/11/11 by Yijia Chen, Moritz Müller, Chen, Yijia +3 · 1 citation
   Computer Science · #Advanced Graph Theory Research #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
3. On Path to Multimodal Historical Reasoning: HistBench and HistAgent
   2025/05/26 by J. F. Qiu, Fulian Xiao, Qiu, Jiahao +187 · 4 citations
   Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling