ML Anthology

Xu, Jiangtao

1 publications

IJCAI 2016 Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu