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