机译:基于模型等效约简的逻辑逻辑程序语义比较
Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou 510275, China;
disjunctive logic program; semantics; polynomial-time model-equivalent reduction; quantified Boolean formula;
机译:基于等价模型归约的逻辑逻辑程序语义比较
机译:析取逻辑程序的可靠语义比较和计算
机译:基于局部评估的(逻辑)逻辑程序的语义
机译:析取逻辑程序的级进语义
机译:多值逻辑程序的基于知识的广义语义
机译:根据年龄和遗传风险降低大肠癌死亡率的大肠癌筛查程序的效率比较
机译:对析取逻辑程序的有根据的语义进行比较和计算