机译:关联答案集编程的两种方言
Google Mountain View CA 94043 USA;
Univ Texas Austin Austin TX 78712 USA;
Answer set programming; answer set solvers; stable models; aggregates;
机译:相关约束答案集编程语言和算法
机译:与妊娠早期出血有关的AKT答案:与妊娠高血压有关的AKT答案:与产后出血有关的AKT答案:与胃肠道出血有关的AKT答案
机译:与帕金森氏病有关的AKT答案:与癫痫以及质量和结果框架有关的AKT答案:与痴呆症的诊断有关的AKT答案
机译:可能答案集程序的可能答案集和必要答案集
机译:用概率答案集编程进行推理和学习
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:与答案设置编程的两个方言相关
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月