A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints - researchr publication

researchr

You are not signed in
Sign in
Sign up

Yi-Dong Shen, Jia-Huai You. A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. pages 483-488, AAAI Press, 2007.

Abstract is missing.

runs on WebDSL