Translating First-Order Theories into Logic Programs.

Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou

Browse the full IJCAI paper archive.