Dear AAAI-07 Authors, Yi-Dong Shen, Jia-Huai You,

<p>
We are pleased to inform you that your paper, "A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints", has been accepted for oral and poster presentation at the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07) to be held July 22 - 26 in Vancouver, British Columbia, Canada. 
</p>
<p>
New this year -- posters are being used to highlight exceptional papers, ones that merit  attention in addition to oral presentation. This is in contrast to past conferences when posters were for papers that didn't fit into the oral presentation schedule. In addition to oral presentation, your paper and 46 others have been slated for poster presentation. The criteria for this distinction included: (1) a paper of the highest quality; (2) a paper involving a complex system or involved theory that cannot be described fully in a 17-minute presentation; (3) a paper covering multiple concepts that are tightly inter-related and that would benefit from a more visual presentation.
</p>
<p>
......
</p>
<p>
Sincerely,
</p>
<p>
Robert Holte and Adele Howe
</p>
<p>
AAAI-07 Program Cochairs
</p>