In 2002 the Conference on Logic for Programming, Artificial Intelligence and Reasoning was held in Georgia and was coorganized by the KGS. Please see here for more information.