机译:优化基于启发式分解的答案集计算
Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy;
Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy;
Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy;
knowledge representation and nonmonotonic reasoning; logic programming methodology and applications; databases and semantic web reasoning; Answer Set Programming;
机译:通过基于启发式的分解优化答案集计算
机译:基于规则的答案集计算中的理由和阻止集
机译:D-FLAT:使用树分解和答案集编程的声明式问题解决
机译:通过基于启发式的分解优化答案集计算
机译:可分解的搜索问题和通过重优化电路的优化:计算结构的一般转换的两项研究。
机译:通过小波分解和独立分量分析相结合的方法提取儿童错配负值的六个问题
机译:优化基于启发式分解的答案集计算