Department of Computer Science, K.U.Leuven Celestijnenlaan 200A, B-3001 Heverlee, Belgium;
机译:在归纳逻辑编程中使用约束满足的高效程序综合
机译:方程逻辑规划的增量约束满足
机译:使用逻辑编程解决分布式约束优化问题
机译:代表和解决约束满足问题的逻辑编程方法:比较
机译:具有稳定模型的逻辑编程,可以满足约束条件。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:表示和解决约束满足问题的逻辑编程方法比较
机译:通过逻辑程序和稳定模型语义实现约束满足