常见例句Keywords autoepistemic logic;logic program;nonmonotonic reasoning;security protocols;protocols verification; 自認知邏輯;邏輯程序;非單調推理;安全協議;協議騐証;autoepistemic logic [計] 自認識邏輯, AE邏輯autoepistemic theory 自認識理論 返回 autoepistemic