Yuan, Zhenfeng

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 Computing General First-Order Parallel and Prioritized Circumscription Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang