Discovering Classes of Strongly Equivalent Logic Programs

Fangzhen Lin, Yin Chen. Discovering Classes of Strongly Equivalent Logic Programs. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 516-521, Professional Book Center, 2005. [doi]

Authors

Fangzhen Lin

This author has not been identified. Look up 'Fangzhen Lin' in Google

Yin Chen

This author has not been identified. Look up 'Yin Chen' in Google