40th ACM/SIGAPP Symposium On Applied Computing: Track on Knowledge Representation and Reasoning (Veranstaltung)