Mingsheng Ying

* Department of Computer Science and Technology , Tsinghua University , Beijing , China

1 paper in the IJCAI proceedings

IJCAI 2011

Translating First-Order Theories into Logic Programs

with Heng Zhang, Yan Zhang, Yi Zhou

doi:10.5591/978-1-57735-516-8/IJCAI11-192

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings