1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2015★ 1 cited
k variables are needed to define k-Clique in first-order logic
Yuguo He
In an early paper, Immerman raised a proposal on developing model-theoretic techniques to prove lower bounds on ordered structures, which represents a long-standing challenge in fi…
cs.LO2014
On the strictness of the quantifier structure hierarchy in first-order logic
Yuguo He
We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural qu…
cs.LG2004★ 1 cited
Knowledge Reduction and Discovery based on Demarcation Information
Yuguo He
Knowledge reduction, includes attribute reduction and value reduction, is an important topic in rough set literature. It is also closely relevant to other fields, such as machine l…