Fangzhen Lin: Parameterized Logical Theories. AAAI 2021: 6402-6409