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

researchr

You are not signed in
Sign in
Sign up

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.

Abstract is missing.

runs on WebDSL