机译:关于SPARQL1.1与答案集编程之间的关系
Siemens AG Oesterreich, Siemenssstrasse 90, 1210 Vienna, Austria;
Institute of Information Systems,Vienna University of Technology, FavoritenstraBe 9-11, 1040 Vienna, Austria;
SPARQL; Datalog; Answer Set Programming; Semantic Web;
机译:约束答案集编程与可满足性模理论之间的关系
机译:模糊自流行逻辑及其与模糊答案集编程的关系
机译:答案集和答案集编程语言
机译:约束答案集编程语言与算法的关系
机译:用概率答案集编程进行推理和学习
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:论约束答案集规划与可满足性的关系 模数理论
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月