数学和人工智能年鉴，第44卷
第44卷，第1-2期，2005年5月
罗伯特·撒克逊·米尔尼克尔 :
谓词缺省逻辑和其他非单调逻辑中怀疑推理的序贯计算。 1-34 王金昌 :
一种用于命题知识系统的降成本问题选择算法。 35-60 维克托·达尔摩 
:
一类新的可处理约束满足问题。 61-85 Quoc Bao Vo公司 , 诺曼·Y·福 , 乔·瑟本 :
可废止推理理论的语义学。 87-119 多罗恩·莫特 , 贾罗德·A·罗伊 , 伊戈尔·L·马尔可夫 :
分辨率无法多项式模拟压缩的BFS。 121-156 汉斯·范·马伦 , 琳达·范诺登 :
固定密度随机3-CNF实例的Horn分数、可满足性和求解器性能之间的相关性。 157-177
第44卷第3期，2005年7月
Shantanu Biswas公司 , Y.纳拉哈里 :
迭代荷兰组合拍卖。 185-205 沙希恩·法蒂玛 , 迈克尔·伍尔德里奇 , 尼古拉斯·R·詹宁斯 :
用不完整的信息进行谈判。 207-232 艾伦·J·金 , 奥尔加·斯特雷琴科 , 叶莲娜·叶莎 :
使用多智能体模拟来了解衍生品市场的交易动态。 233-253 C.Øzturan罐头 :
二手车销售员问题：差异化拍卖市场。 255-267 大卫·C·帕克斯 :
具有昂贵偏好启发的拍卖设计。 269-302
第44卷第4期，2005年8月
道格拉斯·A·岑泽 , 杰弗里·伦梅尔 , 维克托·马雷克 :
无限集逻辑编程。 309-339 胡比·陈 :
约束的表达速度。 341-352 加布里埃尔·伊斯特拉特 , 斯特凡·博彻 , 阿伦·G·珀斯 :
随机约束满足问题的脊柱：定义和与计算复杂性的联系。 353-372 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
布尔电路表方法中的无限制切割与限制切割。 373-399 安德鲁李 :
通过有限的查询进行学习。 401-418 沈海鸥 , 张汉涛 :
改进MAX-2-SAT的精确算法。 419-436
