Our accepted AAAI-08 paper received an award! HOORAY! :)))
What follows is (part of) the email I received about the award.
Dear Stavros and Hector,
On behalf of the Association for the Advancement of Artificial Intelligence and the AAAI-08 Program Committee, we are pleased to inform you that your paper, entitled “On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture,” has been selected for Honorable Mention at AAAI-08.
Each year AAAI’s Conference on Artificial Intelligence honors papers that exemplify high standards in technical contribution and exposition. Papers were recommended for this status by members of the Program Committee during the blind review process. The winning papers were selected by the Program Chairs with the help of some members of the Senior Program Committee.
In recognition of your achievement, you and your coauthors will be presented with certificates by the AAAI-08 Program Cochairs, Dieter Fox and Carla Gomes, during their opening remarks on Tuesday, July 15, at 8:30 am. There will also be an announcement of this honor in the front matter of the AAAI-08 Proceedings.
[...]