AGM; Belief revision; Belief update; Horn knowledge base dynamics; Kernel change; Abduction; Hyber tableaux; Magic set; View update; Update propagation;
机译:UMD-APC数据库,一个全国性的知识库模型:使用3,581个变体中的数据进行更新
机译:UMD-APC数据库,全国范围知识库模型:使用3,581变体的数据更新
机译:动态检测安全威胁并更新基于签名的入侵检测系统的数据库
机译:信仰动态:喇叭知识库和数据库更新
机译:客户端驱动的动态数据库更新。
机译:疾病本体论2015年更新:人类疾病的扩展数据库用于通过疾病数据链接生物医学知识
机译:知识库动态,绑架和数据库更新