国际人工智能工具杂志，第15卷
第15卷第1期，2006年2月
斯蒂芬·舒尔茨 , 杰夫·萨特克利夫 
, 塔内尔·塔米特 :
前言。 1-2 拉里·沃斯 :
水獭自动推理里程碑。 3-20 鲍姆加特内 , 亚历山大·富克斯 , 塞萨尔·蒂内利 :
实现模型进化演算。 21-52 伯恩德·洛什内尔 :
实施Lpo时的注意事项。 53-80 埃文·丹尼 , 伯恩德·菲舍尔 , 约翰·舒曼 :
软件认证中自动定理证明程序的实证评估。 81-108 约瑟夫·乌尔班 :
形式化数学大型库中的快速互约和检索。 109-130
第15卷第2期，2006年4月
谢定亚 , 莫里斯·H·L·王 , 陈成武 , 陈元（音） , 尚恩玉 , 杨贤哲 , 陈宗浩 :
S曲线回归模型的一种新观点及其在施工管理中的应用。 131-142 乔治奥斯·拉帕斯 , R.J.弗兰克 , 安德烈亚斯·亚历山大·阿尔布雷希特 :
电路尺寸与电路深度的计算研究。 143-162 陈成武 , 蒋伟玲 , 蔡忠洪 , 陈元（音） , 莫里斯·H·L·王 :
非线性系统稳定性条件的模糊Lyapunov方法。 163-172 克里斯蒂安·加涅 , 马克·帕里索 :
进化计算软件工具中的通用性：原理和案例研究。 173-194 迈克尔·伍尔德里奇 , 马克·菲利佩拥抱 , 迈克尔·菲希尔 , 西蒙·帕森斯 :
多智能体系统的模型检查：Mable语言及其应用。 195-226 斯特吉奥斯·帕帕迪米特里奥 , Seferina Mavroudi公司 , 螺旋体D.Likothanasis :
有效挖掘模糊关联规则的互信息聚类及其在基因表达数据分析中的应用。 227-250 维吉尔·安德罗纳切 , Matthias Scheutz公司 :
Ade-虚拟和机器人代理的体系结构开发环境。 251-286 阿萨纳西奥斯·查科纳斯 , 西奥多拉·齐利贾尼 , 乔治奥斯·杜尼亚斯 :
进化神经逻辑网络在拼接基因序列分类中的应用。 287-308 Ka-Lok Ng公司 , 钱洪晃 , Po-Han Lee先生 , Jywe-Fei Fang先生 , 杰弗里·J·P·蔡 :
蛋白质网络的模块结构和鲁棒性。 309-322 Veera Boonjing公司 , 程旭 :
一种新的可行的自然语言数据库查询方法。 323-330
第15卷第3期，2006年6月
乔治·D·马古拉斯 , 乔治奥斯·杜尼亚斯 , 德里克·林肯斯 :
前言。 331-334 伊利亚斯·弗劳纳斯 , 迪米特里奥斯·伊亚科维迪斯 , 迪米特里奥斯·马鲁利斯 :
级联SVMS作为使用多类基因表达数据进行医学诊断的工具。 335-352 刘铁飞 , Wing-Kin Sung（Wing-Kin-Sung） , 安库什·米塔尔 :
利用时间延迟贝叶斯网络学习基因网络。 353-370 瓦西里厄斯·乔治奥 , 尼科斯·帕夫利迪斯 , 康斯坦蒂诺斯·帕索普洛斯 , 菲利普斯·D·阿莱维佐斯 , 迈克尔·弗拉哈蒂斯 :
生物信息和医学任务中的新型自适应概率神经网络。 371-396 曼内斯·波尔 , 塔可艾克尔 :
使用神经网络委员会分析婴儿啼哭，以检测缺氧相关疾病。 397-410 乔治·K·乔治拉斯 , Chrysostomos D.Stylios公司 , 彼得·格伦普斯（Peter P.Groumpos） :
基于小波分析和支持向量机的胎儿心率特征提取和分类。 411-432 阿莫尔·达塔塔拉亚·马里 , 明堂 :
使用A*变量的状态空间规划。 433-464 陈恩宏 , 舒旺（Shu Wang） , 菲利普·C·Y·休 :
一种新的语义标注表检测与分析方法。 465-480 郭云松 , 安德鲁·里姆 , 布赖恩·罗德里格斯 , 吉庆堂 :
对组合拍卖问题使用拉格朗日启发式。 481-489
第15卷第4期，2006年8月
比尔·Z·马纳里斯 , 佩努萨尔·马查多 :
前言。 491-494 瑟伦·特贾瓦德·马德森 , 格哈德·维德默 :
探索钢琴演奏风格与进化弦匹配。 495-514 雨果·刘 , 帕蒂·梅斯 :
在色彩空间中呈现文本的审美印象。 515-550 约翰·科洛莫（John P.Collomose） , 彼得·M·霍尔 :
使用遗传搜索的突出度自适应绘画渲染。 551-576 加里·格林菲尔德 :
生物启发美学过程的遗传学习。 577-598 詹姆斯·曼德尔斯 , 菲尔丈夫 :
基因组：进化声音和整体性能参数映射。 599-622 朱迪·富兰克林 :
使用递归网络和强化学习生成爵士乐旋律。 623-650 伊芙琳·卢顿 :
艺术家和设计师分形形状的演变。 651-672 拉斐尔·拉米雷斯 , 阿默里·哈赞 :
用于生成和解释单声道爵士旋律的表达性音乐表演的工具。 673-691
第15卷第5期，2006年10月
前言。 693-694 丹尼尔·马索蒂 , 伊丽莎·菲卡拉 , 恩里科·马奇 , 卢卡·贝尼尼 :
Dna结构特性发现的优化技术。 695-710 中本重一郎 , Seiya Imoto公司 , 宫野佐治 :
分析二元疾病单核苷酸多态性和环境因素组合效应的统计模型选择方法。 711-724 尤妮斯·桑托斯 , 尤金·桑托斯。 :
蛋白质折叠中能量评估的有效计算重用。 725-740 韦斯拉夫·卢坎·诺文斯基（Wieslaw Lucjan Nowinski） :
脑干预中的虚拟现实。 741-752 陈荣明 , Kuei-Chung Shih先生 , 胡若梅 , 杰弗里·J·P·蔡 :
基于调节真值表预测癌基因。 753-766 芬尼·佩努马萨 , 马修·文图拉 , 亚瑟·C·格雷瑟 , 马克斯·路易斯 , 胡香根 , 蔡志强 , 唐纳德·弗朗西切蒂 :
正确阈值：使用潜在语义分析评估学生答案时余弦度量的正确阈值是什么？ 767-778 阿莫尔·达塔塔拉亚·马里 , 刘莹 :
T-satplan：基于卫星的时间规划器。 779-802 Ping Yan公司 , 明月顶 , 郑昌文 :
不确定和对抗环境下的任务适应性路径规划。 803-822 Efstathios Stamatatos公司 :
基于特征集子空间集成的作者归属。 823-838 奥尔卡伊·库尔松 , 安娜·库法库 , 阿比吉特·瓦克肖 , 迈克尔·乔治奥普洛斯 , 肯尼思·雷诺兹 , 罗纳德·伊格林 :
答案： 带有错误的近似名称搜索 在大型数据库中使用基于前缀字典的新方法。 839-848 胡安·何塞·加西亚·阿德瓦 , 胡安·曼努埃尔·皮卡察 :
通过应用程序服务器日志的文本分类进行Web误用检测。 849-854 巨江 , 穆罕默德·卡梅尔 , 陈雷（Lei Chen） :
多种强化学习算法的聚合。 855-861
第15卷第6期，2006年12月
前言。 863-866 劳伦斯·霍尔德 , 兹拉夫科·马尔科夫 , 英格丽德·罗素 :
知识获取和表示的进展。 867-874 高拉夫·坦登 , 菲利普·K·陈 :
基于主机的异常检测系统调用属性的学习。 875-892 姜丽 , 姚建华 , 罗纳德·萨默斯 , 尼古拉斯·彼得里克 , 迈克尔·曼里 , 艾米·哈拉 :
一种用于计算机辅助息肉检测的高效特征选择算法。 893-916 杰弗里·科布尔 , 戴安·库克 , 劳伦斯·霍尔德 :
顺序连接数据流中的结构发现。 917-944 约翰·奥多诺万 , 巴里·史密斯 :
从建议错误中挖掘信任值。 945-962 齐亚德·科布蒂 , 罗伯特·雷诺兹 , 蒂莫西·科勒 :
使用文化算法的社会网络等级的出现。 963-978 丹尼尔·普莱斯 , 查扬·查克拉巴蒂 , 罗珊·拉姆莫汉 , 乔治·F·卢格 :
基于一阶逻辑的随机建模语言的设计与测试。 979-1006 伊斯梅尔·比斯克里 , Jean-Pierre Desclés女士 , 布西夫·阿马尔·本萨博 :
协调与应用范畴型逻辑。 1007-1020 马克斯·路易斯 , 蔡志强 , 胡香根 , 马修·文图拉 , 帕特里克·朱尼奥 :
认知启发的基于Nlp的知识表示：潜在语义分析的进一步探索。 1021-1040 Jean-Pierre Desclés女士 , 安卡·帕斯库 :
确定对象的逻辑：量化中变量的意义。 1041-1052 杰夫·萨特克利夫 :
语义派生验证：技术与实现。 1053-1070 阿尔弗雷德·卡耀旺（Alfred Ka Yiu Wong） , 南丹Paramesh , 普拉迪普·雷 :
面向安全管理的本体映射方法。 1071-1090 马库斯·尼尔森 :
检索心率序列。 1091-1106
