autoepistemic

常見例句

• Keywords autoepistemic logic;logic program;nonmonotonic reasoning;security protocols;protocols verification;
  自認(rèn)知邏輯;邏輯程序;非單調(diào)推理;安全協(xié)議;協(xié)議騐証;
• autoepistemic logic
  [計] 自認(rèn)識邏輯, AE邏輯
• autoepistemic theory
  自認(rèn)識理論
返回 autoepistemic