...
机译:直觉逻辑在答案集编程中的应用
Universidad de las Americas, CENTIA, Sta. Catarina Martir, Cholula, Puebla, 72820 Mexico;
answer sets; intuitionistic logic; equivalence; program transformations;
机译:在直觉逻辑中回答设置编程
机译:从答案集逻辑编程到通过GK逻辑进行外接
机译:矿物帽子:用于在此处最小化的工具 - 以及答案集编程中的逻辑程序和理论
机译:从默认和自动抑制逻辑到析出答案通过GK的逻辑设置程序
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:直觉逻辑在答案集编程中的应用