...
机译:答案集编程的正常形式
Dipartimento d'Informatica, Universita di L'Aquila, Lac. Coppito, L'Aquila I-67100, Italy;
answer set programming; program transformation; normal forms;
机译:答案集和答案集编程语言
机译:答案集和答案集编程语言
机译:通过答案集编程中的元解释来计算首选答案集
机译:正常扩展逻辑程序中的答案集存在
机译:有约束的数据记录:一种新的答案集编程形式。
机译:使用答案集编程将RNA表达与信号通路信息整合在一起,以推断突变如何影响衰老
机译:答案集编程的常规形式
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月