机译:目标导向答案集编程中的动态一致性检查
Department of Computer Science The University of Texas at Dallas;
Department of Computer Science The University of Texas at Dallas;
dynamic consistency checking; answer set programming; goal-directed; consistent query answering;
机译:一致性提取器系统:答案集程序,用于数据库中的一致查询回答
机译:使用语义依赖项修剪外部最小性检查答案设置程序
机译:用答案集编程对抽象状态机进行模型检查
机译:使用目标导向约束答案集编程的事件演算中的建模和推理
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:目标导向答案集编程中的动态一致性检查