机译:优先删除集修订版的答案集编程编码:应用于GIS
Answer set programming; Belief revision; Knowledge representation;
机译:优先删除集修订版的答案集编程编码:应用于GIS
机译:优先基于断言的已删除集修订DL-Lite信念基础
机译:直觉逻辑在答案集编程中的应用
机译:优先删除集修订版的答案集编程编码:在GIS中的应用
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:aGm风格的信念在答案集语义下修改逻辑程序?