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

Yi-Dong Shen, Jia-Huai You

Browse the full AAAI paper archive.