Ironclad rivet github example. Can marked Gyomei beat Akaza. 刈谷 市 理念. Explain knowledge representation techniques in ai details.