A Syntactic Approach to Revising Epistemic States with Uncertain Inputs
A Syntactic Approach to Revising Epistemic States with Uncertain Inputs
复制标题
修正具有不确定输入的认知状态的句法方法
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Bauters, K.
中科院分区：
文献类型：
--
作者：
Bauters, K.
登录
查看更多内容
论Kappa演算与概率推理的关系
DOI：
--
发表时间：
1994
期刊：
Conference on Uncertainty in Artificial Intelligence
影响因子：
--
作者：
Adnan Darwiche;M. Goldszmidt
通讯作者：
M. Goldszmidt
使用 DPLL、图表和观察剪切对非子句公式进行高效 SAT 求解
DOI：
--
发表时间：
2009
期刊：
2009 46th ACM/IEEE Design Automation Conference
影响因子：
--
作者：
Himanshu Jain;E. Clarke
通讯作者：
E. Clarke
DOI：
10.1016/j.ijar.2011.05.004
发表时间：
2011-10
期刊：
Int. J. Approx. Reason.
影响因子：
--
作者：
Jianbing Ma;Weiru Liu
通讯作者：
Jianbing Ma;Weiru Liu
迭代理论基础变化：计算模型
DOI：
--
发表时间：
1995
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
Mary
通讯作者：
Mary
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
H. Frahm;Konstantin Hobuss;M. J. Martins
通讯作者：
M. J. Martins