机译:答案集编程中的共享集合集
Univ Calabria, DEMACS, Commenda Di Rende, Italy;
Univ Genoa, DIBRIS, Genoa, Italy;
Univ Genoa, DIBRIS, Genoa, Italy;
answer set programming; aggregations in logic programming; efficient computation;
机译:具有聚合的答案集程序的毫无根据的集和有充分根据的语义
机译:具有聚合的答案集程序的无根据集和有充分根据的语义
机译:答案集和答案集编程语言
机译:答案集编程中GZ-aggegate的特性
机译:用概率答案集编程进行推理和学习
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:可能和必要的答案集可能性答案集程序
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月