Zhenfeng Yuan

According to our database, Zhenfeng Yuan authored at least 3 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Simplifying A Logic Program Using Its Consequences.

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Splitting a Logic Program Revisited.

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Computing General First-Order Parallel and Prioritized Circumscription.

Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014