Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou. Translating First-Order Theories into Logic Programs. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 1126-1131, IJCAI/AAAI, 2011. [doi]
@inproceedings{ZhangZYZ11,
title = {Translating First-Order Theories into Logic Programs},
author = {Heng Zhang and Yan Zhang and Mingsheng Ying and Yi Zhou},
year = {2011},
url = {http://ijcai.org/papers11/Papers/IJCAI11-192.pdf},
tags = {translation, logic programming, logic},
researchr = {https://researchr.org/publication/ZhangZYZ11},
cites = {0},
citedby = {0},
pages = {1126-1131},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-516-8},
}