Answer-set programming; Uniform equivalence; Knowledge representation; Program optimization;
机译:在here-and-here逻辑中通过反模型进行答案集编程的等价性的通用框架
机译:矿物帽子:用于在此处最小化的工具 - 以及答案集编程中的逻辑程序和理论
机译:超越答案设置程序之间的统一等价
机译:在这里和那里的逻辑中,对应模型在答案集编程中的等价关系
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:使用答案集编程识别生物调控网络中的分叉转变
机译:答案集编程中等价的一般框架 “在这里和那里的逻辑”中的对策