机译:在(部分)固定输入下答案集程序之间的等价关系
TU Wien, Inst Informat Syst, Karlspl 13, A-1040 Vienna, Austria;
TU Wien, Inst Informat Syst, Karlspl 13, A-1040 Vienna, Austria;
Answer set programming; Equivalence;
机译:超越答案设置程序之间的统一等价
机译:在here-and-here逻辑中通过反模型进行答案集编程的等价性的通用框架
机译:关于答案集编程中强,统一和其他等效概念的共同观点
机译:在(部分)固定输入下的答案集程序之间的等价关系
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:使用答案集编程识别生物调控网络中的分叉转变
机译:在(部分)固定输入下的答案设置程序之间的等价