autoepistemic

常見例句

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