P.R.China Hong Kong University of Science / Technology Hong Kong Guizhou University / Yin Chen Fangzhen Lin Yisong Wang Mingyi Zhang South China Normal University / Stanford University / /
IndustryTerm
linear time algorithm / /
Organization
P.R.China Hong Kong University of Science and Technology Hong Kong Guizhou University Guiyang / Cambridge University / Yin Chen Fangzhen Lin Yisong Wang Mingyi Zhang South China Normal University Guangzhou / P.R.China Guizhou Academy of Sciences Guiyang / Department of Computer Science / Natural Science Foundation of China / Stanford University / American Association for Artificial IntelliCopyright / /
Person
Ai / Marek / V / Lin Yisong Wang Mingyi Zhang / K.R. Apt / V / /
Position
Prime Minister / head / /
ProgrammingLanguage
Prolog / L / /
ProvinceOrState
Guizhou Province / /
Region
South China / /
SportsLeague
Stanford University / /
Technology
linear time algorithm / artificial intelligence / decision support system / /
First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang