Intelligent Systems Laboratory School of Computing and Mathematics University of Western Sydney, Australia;
Intelligent Systems Laboratory School of Computing and Mathematics University of Western Sydney, Australia;
answer set semantics; prioritized logic programs; answer set computations;
机译:有序逻辑程序的首选答案集
机译:通过答案集编程中的元解释来计算首选答案集
机译:通过答案集编程计算首选答案集
机译:将首选答案设置为命题逻辑
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程详尽地描述信令网络的可行逻辑模型
机译:将首选答案集程序转换为命题逻辑