AI KR (Artificial Intelligence Knowledge Representation) Community Group - Former Participants