autoepistemic

常見例句

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