...
机译:回答集编程的多因素视图
Tech Univ Dresden Dresden Germany;
Johannes Kepler Univ Linz Linz Austria|TU Wien Vienna Austria;
TU Wien Vienna Austria;
Answer set programming (ASP); Parameterized complexity theory; Multiparametric complexity; Fixed-parameter tractability; Multi parameterizations;
机译:答案集编程的多参数视图
机译:答案集和答案集编程语言
机译:答案集和答案集编程语言
机译:可能答案集程序的可能答案集和必要答案集
机译:用概率答案集编程进行推理和学习
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:可能和必要的答案集可能性答案集程序
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月