2015年第一届GCAI:格鲁吉亚第比利斯
乔治·戈特洛布 , 杰夫·萨特克利夫 , 安德烈·沃伦科夫 :
2015年10月16日至19日,格鲁吉亚第比利斯,全球人工智能大会。 EPiC计算系列 36, Easy椅子 2015 罗伯特·尼文胡斯 :
基于SAT的整数线性约束技术。 1-13 Jean-Marc Alliot公司 , 查理·瓦纳雷特 :
(决赛)倒计时。 14-26 尼古拉斯·贝尔迪卡努 , Mats Carlsson公司 , 皮埃尔·弗莱纳 , 泽维尔·洛尔卡 , 贾斯汀·皮尔逊 , 蒂埃里·佩蒂特 , 查尔斯·普鲁德霍姆 :
具有排序约束的珍珠模型。 27-41 吉拉·贝西亚什维利 , 塔玛·布利亚泽 , 祖拉布·科奇拉泽 :
自适应神经网络在垃圾邮件过滤中的应用。 42-50 斯特凡·博格沃德 , 维罗尼卡·索斯特 :
DL-Lite中带否定的时态查询应答。 51-65 迈克尔·布卡廷 , 史蒂夫·马修斯 :
计算和程序学习的线性模型。 66-78 艾曼纽尔·安娜·迪茨 , 斯特芬·Hölldobler , 路易斯·莫尼兹·佩雷拉 :
根据条件。 79-92 莎莎·冯 , 米歇尔·路德维希 , 德克·沃尔特 :
EL-Tbox逻辑差异的基础。 93-112 玛丽亚·安德烈娜·弗朗西斯科·罗德里格斯 , 皮埃尔·弗莱纳 , 贾斯汀·皮尔逊 :
自动机约束的隐含约束。 113-126 迈克尔·法伯 , 塞萨里·卡利西克 :
HOL灯基于Metis的准调制策略。 127-136 苏拉布·卡西达什维利 , 康斯坦丁柯罗文 , 德米特里·察尔科夫 :
基于EPR的k-归纳与反例引导的抽象精化。 137-150 伊琳娜·库特西什维利 , 贾·西尔比拉泽 , Gvantsa Tsulaia公司 :
投资项目优选中的迟滞模糊MADM方法。 151-162 马雷克·库津斯基 :
基于分类器能力动态模型的多分类器系统在生物假手控制中的应用。 163-175 阿曼·马苏米 , 梅根·安东尼亚齐 , 米哈伊尔·苏琴斯基 :
有机化学建模和有机合成规划。 176-195 约翰娜·内伦 , Benedikt Wolters公司 , 卢卡斯·内茨 , 萨沙·格伦 , 埃里卡·阿布拉哈姆 :
基于遗传算法的PHEV能量管理控制策略。 196-214 大卫·皮埃尔斯 , 莱万·乌里迪亚 :
信任、信念和诚实。 215-228 埃琳娜·拉夫 , 泽夫·沃尔科维奇 , 格哈德·威廉·韦伯 :
强分布结构增量自动推理的统一方法。 229-251 雅库布沙利 , 迈克尔·西奥蒂斯 :
模态逻辑S5的一种解析方法。 252-262 西蒙·施费尔 , 斯蒂芬·舒尔茨 :
用遗传算法证明启发式的育种定理。 263-274 尤金妮娅·特诺夫斯卡 :
组合约束求解代数。 275-295 安东尼娜·特雷蒂亚科娃 , 弗朗西塞克·塞雷登斯基 :
模拟退火算法在无线传感器网络最大生存期覆盖问题中的应用。 296-311 约瑟夫·乌尔班 :
BliStr:盲目的战略制定者。 312-319