Argumentation frameworks; Clark's completion semantics; complete extensions; supported models;
机译:用Clark完成的析取逻辑程序扩展Weil建立的语义
机译:借助Clark完成的析取逻辑程序,扩展了完善的语义学
机译:模态逻辑IV中的算法对应关系和完整性。 SQEMA的语义扩展
机译:完整的扩展作为Clark的完成语义
机译:内华达州克拉克县科罗拉多河延伸走廊北部高地山脉的结构和火山演化。
机译:边界约束的同时语义分割和深度补全
机译:关于定点完成的推论:研究稳定语义 克拉克完成的手段