数学和人工智能年鉴,第20卷
1997年第20卷第1-4期
亚尼斯·迪莫普洛斯 , 万杰利斯·马吉鲁 , 克里斯托斯·帕帕迪米特里奥 :
关于内核、默认值和偶数图。 1-12 Eithan Ephrati公司 , 杰弗里·罗森申 :
多智能体规划的启发式技术。 13-67 罗伯特·汉梅尔 , 拉里·曼内维茨 :
不确定性推理的组合演算:用分布表示不确定性。 69-109 萨里特·克劳斯 :
自治主体多次碰面谈判中的信念、时间和不完全信息。 111-159 安布吉·马汉蒂 , Subrata Ghosh公司 , 达纳·S·瑙 , 阿西姆·K·帕尔 , 拉文·卡纳尔 :
关于IDA*的渐近性能。 161-193 威廉·C·罗兹 , 张国强 :
默认语义的逻辑考虑。 195-226 张国强 , 威廉·C·罗兹 :
缺省域理论中的非单调结果。 227-265 尤金·桑托斯 :
贝叶斯计算的多重样条逼近。 267-300 王苏宁 , 彼得·凯恩斯 :
COCOLOG的自动推理与功能评估。 301-334 克努特·欣克尔曼 , 海尔赫·辛茨 :
用于逻辑程序和基于规则的系统的高效自底向上评估的状态节省转换。 335-356 约翰·V·佛朗哥 , Ramjee P.斯瓦米纳坦 :
随机条款宽度模型下可满足性算法的平均案例结果。 357-391 保罗·沃尔顿·普多姆(Paul Walton Purdom Jr.)。 :
回溯和随机约束满足。 393-410