...
机译:答案集编程中递归聚合的语义和复杂性
Department of Mathematics, University of Calabria, 87030 Rende (CS), Italy;
Department of Mathematics, University of Calabria, 87030 Rende (CS), Italy;
Department of Mathematics, University of Calabria, 87030 Rende (CS), Italy;
nonmonotonic reasoning; answer set programming; aggregates; computational complexity;
机译:具有聚合的答案集程序的毫无根据的集和有充分根据的语义
机译:具有聚合的答案集程序的无根据集和有充分根据的语义
机译:使用非凸递归聚合评估答案集编程
机译:聚合答案集编程的复杂性
机译:关于答案集语义的概率扩展之间的关系。
机译:聚合UMLS语义类型以降低概念复杂度
机译:回答集编程中的递归聚合的语义和复杂性
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月