机译:非单调逻辑程序中答案集的归纳
Department of Computer and Communication Sciences, Wakayama University, Sakaedani, Wakayama 640 8510, Japan;
answer sets; induction; nonmonotonic logic programs;
机译:非单调S4F的统一方法,(反身)自身淤积逻辑,并回答集编程
机译:从答案集逻辑编程到通过GK逻辑进行外接
机译:矿物帽子:用于在此处最小化的工具 - 以及答案集编程中的逻辑程序和理论
机译:结合答案集非单调逻辑程序
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:结合非单调逻辑程序的答案集