Department of Computer Science, Jiangsu University of Science and Technology;
logic programs; double priority; tree method;
机译:在区分逻辑程序中嵌入优先级限制
机译:优先删除集修订版的答案集编程编码:应用于GIS
机译:优先删除集修订版的答案集编程编码:应用于GIS
机译:优先答案集的树建设,优先考虑的基本脱位逻辑计划
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:使用答案集编程构造直线斯坦纳树