Zhenfeng Yuan

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Fixpoint Semantics

General Logic Programs

Partial Deduction

Top Venues

Publications

Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
Splitting a Logic Program Revisited. AAAI (2015)
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
Simplifying A Logic Program Using Its Consequences. IJCAI (2015)
Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
Computing General First-Order Parallel and Prioritized Circumscription. AAAI (2014)