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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.