...
机译:Fixpoint语义和具有聚合的递归Datalog程序的优化
Univ Calif Los Angeles, Los Angeles, CA 90095 USA;
Univ Calif Los Angeles, Los Angeles, CA 90095 USA;
Univ Calif Los Angeles, Los Angeles, CA 90095 USA;
Univ Calif Los Angeles, Los Angeles, CA 90095 USA;
Univ Calif Los Angeles, Los Angeles, CA 90095 USA;
Microsoft, Redmond, WA USA;
Datalog; Constraints; Recursion; Aggregates;
机译:优化线性数据记录程序的语义方法
机译:答案集编程中递归聚合的语义和复杂性
机译:逼近定点理论和高阶逻辑程序的可靠语义
机译:修复Fixpoint的增量计算导数和Datalog的递归语义
机译:有约束的数据记录:一种新的答案集编程形式。
机译:基于语义的遗传规划和局部搜索优化器的能耗预测
机译:定点语义与递归数据记录程序的优化 骨料