机译:权重约束和聚合逻辑程序的级别映射引发的循环公式
Department of Computing Science University of Alberta Edmonton, Canada;
rnDepartment of Computing Science University of Alberta Edmonton, Canada;
logic programs; answer sets; weight constraints; aggregates; loop formulas;
机译:权重约束和聚合逻辑程序的级别映射引发的循环公式
机译:基于循环公式的描述逻辑程序语义
机译:描述逻辑程序的循环公式
机译:权重约束和聚合程序的级别映射引发的循环公式
机译:对具有低分辨率可编程数字砝码的智能传感器的VLSI实现进行循环培训。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:基于循环公式的描述逻辑程序语义