Heng Zhang

School

College of Intelligence and Computing

Professional Title

Associate professor

Other Contact Information

Selected Papers

Current position: Heng Zhang's Homepage > Academic Achievements > Selected Papers

Translating first-order theories into logic programs

Hits:

Journal:IJCAI 2011

All the Authors:Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou

First Author:Heng Zhang

Indexed by:Unit Twenty Basic Research

Correspondence Author:Heng Zhang

Translation or Not:no