School of Computing Science, Simon Fraser University, Burnaby, BC, Canada;
机译:用答案集编程对抽象状态机进行模型检查
机译:使用语义依赖项修剪外部最小性检查答案设置程序
机译:目标导向答案集编程中的动态一致性检查
机译:使用答案集编程,使用事件扩展预处理CTL的CSP界限模型检查
机译:通过结合自动规则发现和概率答案集编程来解释事实
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:使用答案集编程对抽象状态机进行模型检查
机译:使用smaRT检查抽象pLEXIL程序的模型