Description logic, inconsistency, belief, decision procedure, decidability;
机译:ALC + T:描述逻辑的优先扩展
机译:信念修订,最小的更改和放松:基于满意度系统的通用框架,以及描述逻辑的应用
机译:具有逆角色的Horn描述逻辑中的保守扩展
机译:BALC:描述逻辑ALC的信仰延伸
机译:动态系统的贝叶斯信念网络和模糊逻辑自适应建模:扩展和比较。
机译:角色分组是对Ontylog描述逻辑的扩展它受SNOMED中概念建模的驱动。
机译:基于信念-愿望-意图逻辑的智能体行为表征及其扩展研究