机译:通过最小的模型和不令人满意的内核在ASP中进行谨慎的推理
Univ Calabria, DEMACS, Commenda Di Rende, Italy;
Univ Genoa, DIBRIS, Genoa, Italy;
Univ Helsinki, Dept Comp Sci, HIIT, Helsinki, Finland;
Univ Genoa, DIBRIS, Genoa, Italy;
Univ Helsinki, Dept Comp Sci, HIIT, Helsinki, Finland;
Answer Set Programming; Cautious Reasoning; Query Answering;
机译:加速基于删除的最小不满足核心提取
机译:寻找CSP的最小不满意量
机译:通过自适应核搜索逼近最小的不满足子公式
机译:通过条款组求解器API递增地计算QBF的最小不满足核心
机译:谨慎处理的新模型:信任,风险感知以及对模糊关系事件的评估。
机译:建模k组件的最小k核问题
机译:通过提取最小不满足核心来解决WCsp
机译:用于开发强大的户外车辆导航方案的近似推理和最小模型