常见例句Keywords autoepistemic logic;logic program;nonmonotonic reasoning;security protocols;protocols verification; 自认知逻辑;逻辑程序;非单调推理;安全协议;协议验证;autoepistemic logic [计] 自认识逻辑, AE逻辑autoepistemic theory 自认识理论 返回 autoepistemic