机译:致力于将答案和检查程序自动集成到答案集编程中:元解释器和应用程序
机译:使用语义依赖项修剪外部最小性检查答案设置程序
机译:目标导向答案集编程中的动态一致性检查
机译:在答案集编程中自动集成猜测和检查程序
机译:通过结合自动规则发现和概率答案集编程来解释事实
机译:使用答案集编程将RNA表达与信号通路信息整合在一起,以推断突变如何影响衰老
机译:在答案集中实现猜测和检查程序的自动集成 编程:元解释器和应用程序
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月