机译:在答案集语义下修改逻辑程序的程序级方法
School of Computing Science Simon Fraser University Burnaby, B.C. Canada V5A 1S6;
answer set programming; belief change; belief revision;
机译:语义网答案集语义下的模糊描述逻辑程序
机译:语义网的答案集语义下的紧密耦合模糊描述逻辑程序
机译:语义网的答案集语义下的紧密耦合模糊描述逻辑程序
机译:语义网答案集语义下的紧密耦合模糊粗糙描述逻辑程序
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:在答案集语义下修改逻辑程序的程序级方法