Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu. Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pages 1130-1137, IJCAI/AAAI Press, 2016. [doi]

This author has not been identified. Look up 'Jianmin Ji' in GoogleThis author has not been identified. Look up 'Hai Wan' in GoogleThis author has not been identified. Look up 'Kewen Wang' in GoogleThis author has not been identified. Look up 'Zhe Wang' in GoogleThis author has not been identified. Look up 'Chuhan Zhang' in GoogleThis author has not been identified. Look up 'Jiangtao Xu' in Google

runs on WebDSL