...
机译:从答案集逻辑编程到通过GK逻辑进行外接
Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong;
School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW J 797, Australia;
logic programming; answer set programming; logic of GK; circumscription; nonmonotonic reasoning; knowledge representation and reasoning;
机译:矿物帽子:用于在此处最小化的工具 - 以及答案集编程中的逻辑程序和理论
机译:组合问题的约束逻辑编程和答案集编程解的实证研究
机译:集成答案集编程和约束逻辑编程
机译:从答案集逻辑编程到通过GK逻辑进行割除
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:从答案集逻辑编程到通过GK逻辑进行外接