Huo, Ziwei

3 publications

IJCAI 2015 Simplifying a Logic Program Using Its Consequences Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

AAAI 2015 Splitting a Logic Program Revisited Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

AAAI 2014 Elementary Loops Revisited Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao