On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic

Fangzhen Lin, Jicheng Zhao. On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 853-858, Morgan Kaufmann, 2003.

Authors

Fangzhen Lin

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

Jicheng Zhao

This author has not been identified. Look up 'Jicheng Zhao' in Google