...
机译:在here-and-here逻辑中通过反模型进行答案集编程的等价性的通用框架
Institut fuer Informationssysteme, Technlsche Universitaet Wien, Favoritenstraße 9-11, A-1040 Vienna, Austria;
answer-set programming; uniform equivalence; relativized equivalence; knowledge representation;
机译:矿物帽子:用于在此处最小化的工具 - 以及答案集编程中的逻辑程序和理论
机译:超越答案设置程序之间的统一等价
机译:在(部分)固定输入下答案集程序之间的等价关系
机译:在这里和那里的逻辑中,对应模型在答案集编程中的等价关系
机译:解析逻辑的逻辑编程框架。
机译:促进向以人口为基础的公共卫生计划的转变:通过使用框架和逻辑模型工具进行创新
机译:答案集编程中等价的一般框架 “在这里和那里的逻辑”中的对策