TY - RPRT TI - A Theory of Formalisms for Representing Knowledge AU - Heng Zhang AU - Guifei Jiang AU - Donghui Quan PY - 2024 UR - https://arxiv.org/abs/2412.11855 ID - 2412.11855 ER -