Translating First-Order Theories into Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Heng Zhang' in GoogleThis author has not been identified. Look up 'Yan Zhang' in GoogleThis author has not been identified. Look up 'Mingsheng Ying' in GoogleThis author has not been identified. Look up 'Yi Zhou' in Google

runs on WebDSL