×

AI通信

《欧洲人工智能杂志》

简短标题: AI社区。
出版商: 阿姆斯特丹IOS出版社
国际标准编号: 0921-7126; 1875-8452/年
在线: http://www.iospress.nl/journal/ai-communications网站/
评论: 日记账
已编制索引的文档: 265出版物(自1996年起)
索引的引用: 34出版物参考文献1307。
全部的 前5名

最新问题

36,编号2(2023)
35,编号3(2022)
35,编号2(2022)
35,编号1(2022)
34,编号4(2021)
34,编号3(2021)
34,编号2(2021)
33,第1期(2020年)
32,编号5-6(2019)
32,第4号(2019)
32,第3号(2019)
322019年第2期
322019年第1期
312018年第6号
31,第5号(2018)
31,第4号(2018)
31,第3号(2018)
31,第2号(2018)
302017年第6号
302017年第5号
302017年第1期
292016年第5号
292016年第4号
29,第3号(2016)
292016年第2期
292016年第1期
282015年第4号
282015年第3期
282015年第2期
282015年第1期
27,第4号(2014)
272014年第3期
272014年第2期
262013年第4号
262013年第2期
262013年第1期
252012年第4号
252012年第3期
252012年第2期
242011年第4号
242011年第2期
242011年第1期
232010年第4期
232010年第2-3号
232010年第1期
222009年第4期
222009年第3期
222009年第2期
222009年第1期
212008年第4号
212008年第2-3号
212008年第1期
202007年第4号
202007年第3号
20,第2号(2007年)
202007年第1期
192006年第4号
192006年第3期
192006年第2期
192006年第1期
182005年第4号
182005年第2期
182005年第1期
172004年第4期
172004年第3期
172004年第2期
172004年第1期
162003年第3期
162003年第2期
16,第1号(2002年)
15,第2-3号(2002)
15,第1号(2002年)
142001年第4号
14,第3号(2001)
142001年第2期
142001年第1期
132000年第4期
9,第3号(1996)
9,第2号(1996)
全部的 前5名

作者

14 杰夫·萨特克利夫
6 丹尼尔·博拉乔
6 彼得罗·托拉索
5 阿里尔·费尔纳
5 吉安卢卡·托塔
4 林奇,因斯
4 Joáo P.塞尔瓦侯爵。
4 卢卡·普利纳
科尔特斯,尤利西斯
塞尔吉奥·格雷科
乔瓦姆巴蒂斯塔·伊安尼
尼古拉·利昂
马可·马拉提亚
Mukhopadhyay、Snehasis
安吉洛·奥迪
尼古拉·波里塞拉
多梅尼科·罗萨奇
保罗Salles
米克尔·Sánchez-Marrè
阿曼多·塔切拉
约瑟夫·厄本
哈维尔·Vázquez-Salceda
弗兰茨·沃塔瓦
2 Afrati,Foto N。
2 里卡多·阿勒
2 马里奥·阿尔维亚诺
2 罗伯塔·安妮奇亚里科
2 西尔瓦娜·巴达洛尼
2 马塞洛·巴尔杜奇尼
2 雷切尔·本·埃利亚胡·佐哈里
2 伯特·布雷德维格
2 弗朗西斯科·卡利默里
2 约阿金·科马斯
2 卢卡控制台
2 托马斯·德·拉罗萨
2 马丁·德沙奈斯
2 沃尔夫冈·费伯
2 拉奎尔·富恩特塔哈
2 马丁·格布瑟
2 伊恩·菲利普·根特
2 冈萨雷斯·罗德里格斯
2 吉安路易吉·格雷科
2 安东尼拉·古佐
2 阿里·哈姆齐
2 萨塔尔·哈希米
2 乌尔里希·赫斯塔特
2 詹弗兰科·兰佩蒂
2 杰拉德·利戈扎特
2 托尼·曼奇尼
2 罗伯特·米卡西奥
2 何塞·曼纽尔·莫利纳
2 安东尼奥·莫雷诺。
2 安托尼奥·莫尔加多
2 阮,Thanh M。
2 罗伯特·纽文胡斯
2 Peter W.南丁格尔。
2 伊娃·奥奈迪亚
2 丹东欧阳
2 亨利·普拉德。
2 伊格纳西·R·罗达
2 弗朗西斯科·里卡
2 轮辐,惠勒
2 大卫·A·桑切斯。
2 托尔斯滕·绍布(Torsten H.Schaub)。
2 斯蒂芬·舒尔茨
2 斯蒂芬·史密斯。
2 内森·斯特凡特(Nathan R.Sturtevant)。
2 克里斯蒂安·萨特纳(Christian B.Suttner)。
2 伊利亚·托雷
2 多梅尼科·乌尔西诺
2 拉米罗·瓦雷拉
2 卡米诺·R·维拉。
2 理查德·华莱士。
2 赵祥福
2 赵西顺
1 纳达·阿卜杜拉
1 亚吉思·亚伯拉罕
1 埃曼·阿克
1 Aćimović-Raspopović,Vladanka S。
1 胡安·阿法纳多
1 瓦西拉Aggoune-Mtalaa
1 啊哈,大卫·W·。
1 吉姆·艾肯
1 佩加·阿利扎德
1 特蕾莎·阿尔辛
1 哈米德雷扎·阿尔瓦里
1 斯特凡诺·阿尔维西
1 阿纳利亚·阿曼迪
1 卡马尔·阿姆隆
1 阿奈、平子
1 法布里齐奥·安吉乌利
1 安塞尔玛,卢卡
1 Noriko H.Arai。
1 阿奇-Int,Ngamnij
1 Somjit建筑师事务所
1 莉莉亚娜·阿迪索诺
1 约阿金·阿蒙戈尔
1 阿西恩·阿查,罗伯托
1 阿西恩,AcháRoberto
1 罗伯托·阿斯因
…还有495名作者

按年份列出的出版物

zbMATH Open中包含的引文

122出版物有被引用707中的次580文件 引用人 年份
E–脑力定理证明器。 Zbl 1020.68084号
斯蒂芬·舒尔茨
94
2002
VAMPIRE的设计与实现。 Zbl 1021.68082号
亚历山大·里亚扎诺夫;安德烈·沃伦科夫
79
2002
Potassco:波茨坦答案集求解集合。 兹比尔1215.68214
马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗斯基;托尔斯滕·绍布;马吕斯·施奈德
64
2011
实现高效MUS提取。 Zbl 1248.68450号
安东·贝洛夫;林奇,因斯;若昂·西尔瓦侯爵
21
2012
CASC的状态。 Zbl 1112.68464号
杰夫·萨特克利夫;克里斯蒂安·萨特纳
18
2006
限制连接计算中的回溯。 Zbl 1205.68363号
简斯·奥滕
15
2010
计算命题公式主干的算法。 Zbl 1373.68379号
米科拉什·亚诺塔;林奇,因斯;若昂·西尔瓦侯爵
14
2015
如何通过闲聊分享知识。 Zbl 1373.68392号
安德烈亚斯·赫齐格;Faustine马弗雷
13
2017
CADE-27自动定理证明系统竞赛–CASC-27。 Zbl 1464.68433号
杰夫·萨特克利夫
11
2019
在复杂网络中找到最突出的群体。 兹比尔1189.68087
拉米·普齐斯;尤瓦尔·埃洛维奇;什洛米·多列夫
11
2007
CASC的发展。 Zbl 1019.68101号
弗朗西斯·杰弗里·佩利蒂埃;杰夫·萨特克利夫;克里斯蒂安·萨特纳
10
2002
实现公平的一元时序逻辑证明程序。 Zbl 1206.68283号
米歇尔·路德维希;乌尔里希·赫斯塔特
10
2010
WALDMEISTER植物志。 Zbl 1021.68083号
伯恩德·洛什内尔;托马斯·希伦布兰德
8
2002
定理证明策略的分层发明。 Zbl 1462.68213号
Jakubův,简;约瑟夫·厄本
8
2018
基于增量答案集编程的有限模型计算系统。 Zbl 1215.68209号
马丁·格布瑟;奥昆特·萨布努克;托尔斯滕·绍布
8
2011
使用符号执行对并发系统进行交互验证。 Zbl 1205.68217号
西蒙·巴姆勒;迈克尔·巴尔泽;弗洛里安·纳夫兹;沃尔夫冈·雷夫;格哈德·谢尔霍恩
8
2010
评估和认证QBF:最先进工具的比较。 Zbl 1186.68440号
纳里扎诺,马西莫;克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉
8
2009
关于增量学习效用的说明。 Zbl 0967.68087号
克利斯朵夫·吉拉德·卡里埃
7
2000
服务机器人团队的在线监测和诊断:基于模型的方法。 Zbl 1127.68444号
罗伯特·米卡西奥;彼得罗·托拉索;吉安卢卡·托塔
7
2006
从优先约束过账到部分订单计划。稳健调度的CSP方法。 Zbl 1146.90421号
尼古拉·波里塞拉;阿梅迪奥·塞斯塔;安吉洛·奥迪;斯蒂芬·史密斯。
7
2007
在耐心游戏“黑洞”中搜索。 Zbl 1151.90525号
伊恩·詹特(Ian P.Gent)。;克里斯·杰斐逊;汤姆·凯尔西;林奇,因斯;Miguel,伊恩;彼得·南丁格尔;芭芭拉·史密斯。;塔里木,S.Armagan
7
2007
第九届IJCAR自动定理证明系统竞赛——CASC-J9。 Zbl 1462.68220号
杰夫·萨特克利夫
7
2018
从训练好的神经网络集成中提取符号规则。 Zbl 1102.68609号
周志华;姜,袁;陈世福
7
2002
结合定性偏好解决可满足性问题的方法。 Zbl 1296.68164号
伊曼纽尔·迪·罗莎;恩里科·金西格里亚
7
2013
约束满足问题中动态适应传播的启发式方法。 Zbl 1185.90191号
科斯塔斯·斯特焦乌
7
2009
第八届IJCAR自动定理证明系统竞赛——CASC-J8。 Zbl 1373.68367号
杰夫·萨特克利夫
7
2016
约束编程的函数变量。 Zbl 1159.68390号
赫尼奇,卜拉欣
6
2003
布尔接触代数的构造。 Zbl 1070.03042号
伊沃·杜恩施;温特,迈克尔
6
2004
对称破缺答案集求解。 Zbl 1215.68212号
克里斯蒂安·德雷舍尔;瓦那州蒂弗雷亚;托比·沃尔什
6
2011
CADE-22自动定理证明系统竞赛–CASC-22。 Zbl 1200.68220号
杰夫·萨特克利夫
6
2010
SOLAR:用于结果发现的自动推断系统。 Zbl 1205.68362号
希德托莫·纳贝希玛;井沼,Koji;井上,Katsumi;奥利弗·雷
6
2010
自动推理在自然语言问答中的应用。 Zbl 1205.68360号
乌尔里希·富巴赫;英戈·格莱克纳;比约恩·佩尔泽
6
2010
CADE-21自动定理证明系统竞赛。 Zbl 1147.68699号
杰夫·萨特克利夫
5
2008
成本最优规划的加权顾客服务提供商方法。 Zbl 1233.68205号
马丁·库珀。;玛丽·德·罗克莫雷尔;皮埃尔·雷格尼尔
5
2011
罗塔:关于劳动力调度和轮班设计优化算法的研究项目。 Zbl 0995.68009号
约翰内斯·加特纳;尼斯雷特·穆斯利乌;斯莱尼,沃尔夫冈
5
2001
解决和学习一类易于处理的软时间约束:理论和实验结果。 Zbl 1143.68545号
利纳·哈提卜;莫里斯,保罗;罗伯特·莫里斯;弗朗西丝卡·罗西;亚历山德罗·斯佩尔杜蒂;Venable,K.布伦特
5
2007
用离散差分进化算法求解置换流水车间调度问题。 Zbl 1373.68385号
瓦伦蒂诺·桑图奇;马可·巴奥莱蒂;阿尔弗雷多·米拉尼
5
2016
使用OWL代表和监督承诺和规范。 Zbl 1216.68283号
尼科莱塔·福娜拉;马尔科·科伦贝蒂
5
2010
在ASP求解器中学习和使用特定于域的启发式。 Zbl 1215.68207号
马塞洛·巴尔杜奇尼
5
2011
任何时间与/或深度优先搜索组合优化。 Zbl 1250.90075号
拉尔斯·奥滕;丽娜·德希特
5
2012
亚术语上下文重写。 Zbl 1206.68164号
克里斯托夫·韦登巴赫;帕特里克·维什涅夫斯基
5
2010
拟群和环路理论中的自动定理证明。 兹比尔1204.68181
菲利普斯,J.D。;大卫,斯坦诺夫斯克
5
2010
加权网络的聚类系数,应用于基因表达数据。 Zbl 1189.68084号
加布里埃拉·卡纳;德斯蒙德·海姆。
5
2007
基于蜂群优化的全光网络路由和波长分配。 Zbl 1185.90174号
戈兰·马尔科维奇。;特奥多罗维奇,杜珊·B。;Aćimović-Raspopović,弗拉丹卡S。
5
2007
微分进化中种群动力学的稳定性和收敛性。 Zbl 1200.68185号
桑巴塔·达斯古普塔;达斯,斯瓦加坦;阿里吉特·比斯瓦斯;亚吉思·亚伯拉罕
4
2009
OMBO:对手建模方法。 Zbl 1200.68246号
阿加皮托·莱德斯马;里卡多·阿勒;桑奇斯(Sanchis,Araceli);丹尼尔·博拉乔
4
2009
SAC和邻里SAC。 Zbl 1373.68387号
理查德·华莱士。
4
2015
邻域SAC:扩展和新算法。 Zbl 1373.68388号
理查德·华莱士。
4
2016
使用内存验证代理比看起来更难。 Zbl 1216.68257号
牛,尼尔斯;沃伊切赫·贾姆罗加
4
2010
动态魔术集和超相干答案集程序。 Zbl 1215.68211号
马里奥·阿尔维亚诺;沃尔夫冈·费伯
4
2011
选言逻辑程序设计的一种回跳技术。 Zbl 1102.68433号
弗朗西斯科·里卡;沃尔夫冈·费伯;尼古拉·利昂
2006
析取逻辑编程的模板程序:一种操作语义。 Zbl 1104.68009号
弗朗西斯科·卡里梅里;乔瓦姆巴蒂斯塔·伊安尼
2006
定量析取逻辑编程:语义和计算。 Zbl 0967.68030号
克里斯汀·马提斯
2000
利用人工智能和机器学习研究表现力音乐表现:项目调查和首次报告。 Zbl 0984.68537号
格哈德·维德默
2001
关于建模因果独立性在使用OBDD进行系统模型编译中的作用。 Zbl 1127.68077号
吉安卢卡·托塔;彼得罗·托拉索
2007
不确定性调度:一种使用部分订单调度的前瞻性方法。 兹比尔1161.68366
尼古拉·波里塞拉
2005
整合定量和定性模糊时间约束。 Zbl 1098.68101号
西尔瓦娜·巴达洛尼;马尔科·法尔达;马西米利亚诺·贾科明
2004
第十届IJCAR自动定理证明系统竞赛——CASC-J10。 Zbl 1485.68287号
杰夫·萨特克利夫
2021
不可分割货物分配的重复单调性。 Zbl 1464.91055号
本诺·库克;约尔格·罗特
2019
粗糙集中的特征排序。 兹比尔1089.68644
胡可云;陆宇昌;史春怡
2002
有限递归程序:可判定性和自底向上计算。 Zbl 1235.68223号
弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂
2011
一种高级分散搜索算法,用于求解具有序列相关和非预期设置的作业车间。 Zbl 1373.68376号
米盖尔·冈萨雷斯(Miguel A.González)。;卡米诺·R·维拉。;拉米罗·瓦雷拉;冈萨雷斯-罗德里格斯
2015
组MaxSAT基于MaxSAT的编码。 Zbl 1373.68377号
费德里科·赫拉斯;安东尼奥·莫尔加多;若昂·西尔瓦侯爵
2015
整合论证和情绪分析,从推特上挖掘观点。 兹比尔1373.68322
凯瑟琳·格罗斯;González,Maria P。;卡洛斯·切斯尼瓦尔。;Ana G.马奎特曼。
2015
一种基于压缩广义超树分解的非二进制约束满足问题求解技术。 兹比尔1373.68369
卡马尔·阿姆隆;锡涅布·哈巴斯;瓦西拉Aggoune-Mtalaa
2016
多智能体强化学习的广义学习自动机。 Zbl 1216.68229号
雅恩·米夏·德·豪瓦雷;彼得·弗兰克斯;现在,安
2010
有序析取的逻辑特征。 Zbl 1218.68069号
佩德罗·卡巴拉尔
2011
挑战SMT求解器验证神经网络。 Zbl 1248.68462号
卢卡·普利纳;阿曼多·塔切拉
2012
CTL-RP:一个计算树逻辑解析证明程序。 Zbl 1205.68365号
张,兰;乌尔里希·赫斯塔特;克莱尔·狄克逊
2010
用高效的部分展开双向启发式搜索优化求解排列排序问题。 Zbl 1373.68204号
马可·里皮;马尔科·厄南德斯;阿里尔·费尔纳
2016
MUSCADET定理证明器的优缺点——来自CASC-JC的示例。 兹比尔1019.68102
多米尼克·帕斯特
2
2002
用存在限制近似描述逻辑中的大多数特定概念。 Zbl 1013.68218号
拉尔夫·库斯特斯;拉尔夫·莫利托
2
2002
限制轻信默认推理的复杂性。 Zbl 0967.68132号
赵西顺;丁德成;汉斯·克莱恩·勃宁
2
2000
LRBNN:一种惰性径向基神经网络模型。 Zbl 1129.68068号
何塞·瓦尔斯。;加尔文(Inés M.Galván)。;佩德罗·伊萨西
2
2007
规范和电子制度在应用于复杂领域的多智能体系统中的作用。HARMON(IA)框架。 Zbl 1083.68609号
哈维尔·Vázquez-Salceda
2
2003
CADE-26自动定理证明系统竞赛–CASC-26。 Zbl 1462.68219号
杰夫·萨特克利夫
2
2017
走向随机行走规划理论:回归因子、公平齐次图和扩展。 Zbl 1338.68245号
Hootan Nakhost;马丁·米勒
2
2014
使用增量QBF验证部分设计。 Zbl 1373.68382号
克里斯蒂安·米勒;马林,保罗;贝恩德·贝克尔
2
2015
CADE-28自动定理证明系统竞赛–CASC-28。 Zbl 1487.68249号
杰夫·萨特克利夫;马丁·德沙奈斯
2
2021
在CASC与SUMO进行大型理论推理。 Zbl 1344.68229号
亚当·皮斯;杰夫·萨特克利夫;尼克·西格尔;史蒂文·特拉克
2
2010
SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号
阿西恩·阿查,罗伯托;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔
2
2010
带限定数限制的实用推理:描述逻辑({mathcal{SHQ}})的混合Abox演算。 Zbl 1205.68404号
纳西姆·法西尼亚马尔吉;沃尔克·哈尔斯列夫
2
2010
使用带否定的视图重写查询。 Zbl 1104.68036号
阿夫拉蒂、福托;瓦西亚·帕夫拉基
1
2006
移动机器人地标识别的模糊约束满足方法。 Zbl 1104.68780号
亚伯拉罕·奥特罗;保罗·费利克斯;卡洛斯·雷盖罗;米盖尔·罗德里格斯;塞恩·巴罗
1
2006
在推荐系统中开发分类法。 Zbl 1172.68628号
齐格勒、凯·尼科拉斯;乔治·劳森;约瑟夫·康斯坦(Joseph A.Konstan)。
1
2008
信任增强推荐系统中的关键人物影响。 Zbl 1172.68627号
帕特里夏·维克托;克里斯·科内利斯;马丁·德·科克;安库尔·特雷德赛。
1
2008
基于多层本体的混合推荐模型。 Zbl 1160.68581号
伊凡·坎塔多;亚历杭德罗·贝洛金;巴勃罗·卡斯特尔斯
1
2008
情境演算框架中基于历史的诊断模板。 Zbl 1007.68178号
伊万、杰罗
1
2002
实现优先逻辑编程。 Zbl 1007.68027号
张燕;吴成敏;白、云
1
2001
在社交书签系统中标记建议。 Zbl 1184.68074号
罗伯特·Jäschke;利安德罗·马里奥;安德烈亚斯·霍托;施密特-蒂姆,拉尔斯;格尔德,斯图姆
1
2008
用于建模和解决搜索问题的工具。 Zbl 1127.68365号
东,黛博拉;米哈伊尔·伊卡希亚耶夫;阿图尔·米基图克;特鲁什琴斯基,米洛斯奥
1
2006
整合异构适应技术,构建灵活可用的移动导游。 Zbl 1127.68483号
费德里卡·塞纳;卢卡控制台;基纳,克里斯蒂娜;安娜·戈伊;圭多·列维;索尼娅·莫德奥;Ilaria托雷
1
2006
与语言术语的定性模式匹配。 Zbl 1086.68541号
扬尼克·洛伊索;亨利·普拉德;莫汉德·布干纳姆
1
2004
用于学习决策树并将其修剪为分类规则的启发式方法。 Zbl 1159.68534号
何塞·拉尼拉;奥斯卡·卢塞斯;安东尼奥·巴哈蒙德
1
2003
惰性功能逻辑程序的部分评估。 Zbl 1159.68388号
帕斯卡尔·朱利安·伊兰佐
1
2003
ClusDM:异构数据集的多准则决策方法。 Zbl 1159.68570号
阿伊达瓦尔斯
1
2003
支持网站导航的协作过滤。 Zbl 1062.68507号
吉安路易吉·格雷科;塞尔吉奥·格雷科;埃斯特·赞帕诺
1
2004
代理人社交网络中基于模糊推荐的合作。 Zbl 1121.91417号
哈维尔·卡波;何塞·莫利纳(Jose M.Molina)。;达维拉,豪尔赫
1
2005
智能采集系统的多代理体系结构。 Zbl 1076.68546号
大卫·卡马乔;里卡多·阿勒;丹尼尔·博拉乔;何塞·莫利纳。
1
2005
动态环境中解决时间约束的系统与非系统技术。 Zbl 1098.68118号
马利克·穆胡布
1
2004
通过子句学习促进分支和绑定MaxSAT解算器。 Zbl 1507.68296号
李楚敏;徐振兴;乔迪·科尔;很多,费利普;贾马尔·哈贝特;何坤
1
2022
第十届IJCAR自动定理证明系统竞赛——CASC-J10。 Zbl 1485.68287号
杰夫·萨特克利夫
2021
CADE-28自动定理证明系统竞赛–CASC-28。 Zbl 1487.68249号
杰夫·萨特克利夫;马丁·德沙奈斯
2
2021
神经符号人工智能。 Zbl 1487.68188号
卡姆鲁扎曼中校萨克;周、鲁;亚伦·埃伯哈特;帕斯卡·希茨勒
1
2021
多重类比比例。 兹比尔1487.68220
亨利·普拉德;理查德·吉尔斯
1
2021
CADE-27自动定理证明系统竞赛–CASC-27。 Zbl 1464.68433号
杰夫·萨特克利夫
11
2019
不可分割货物分配的重复单调性。 Zbl 1464.91055号
本诺·库克;约尔格·罗特
2019
在多智能体系统中使用心理理论建模欺骗。 兹比尔1464.68413
萨尔卡迪(Sarkadi),⑩tefan;Alison R.Panisson。;拉斐尔·博迪尼。;彼得·麦克伯尼;西蒙·帕森斯;马丁·查普曼
1
2019
定理证明策略的分层发明。 Zbl 1462.68213号
Jakubův,简;约瑟夫·厄本
8
2018
第九届IJCAR自动定理证明系统竞赛——CASC-J9。 Zbl 1462.68220号
杰夫·萨特克利夫
7
2018
人工智能能在数学奥林匹克竞赛中赢得奖牌吗对大学前问题的机械化数学进行基准测试。 Zbl 1462.68152号
松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。
1
2018
新的随机局部搜索方法,用于计算抽象论证的首选扩展。 Zbl 1462.68184号
当当牛;刘磊;吕、帅
1
2018
如何通过闲聊分享知识。 Zbl 1373.68392号
安德烈亚斯·赫齐格;Faustine马弗雷
13
2017
CADE-26自动定理证明系统竞赛–CASC-26。 Zbl 1462.68219号
杰夫·萨特克利夫
2
2017
压缩差分启发式。 Zbl 1462.68174号
梅尔·戈登堡;阿里尔·费尔纳;阿隆·帕隆博;内森·斯图尔特万特;乔纳森·谢弗
1
2017
第八届IJCAR自动定理证明系统竞赛——CASC-J8。 Zbl 1373.68367号
杰夫·萨特克利夫
7
2016
用离散差分进化算法求解置换流水车间调度问题。 Zbl 1373.68385号
瓦伦蒂诺·桑图奇;马可·巴奥莱蒂;阿尔弗雷多·米拉尼
5
2016
邻域SAC:扩展和新算法。 Zbl 1373.68388号
理查德·华莱士。
4
2016
一种基于压缩广义超树分解的非二进制约束满足问题求解技术。 Zbl 1373.68369号
卡马尔·阿姆隆;锡涅布·哈巴斯;瓦西拉Aggoune-Mtalaa
2016
用高效的部分展开双向启发式搜索优化求解排列排序问题。 兹比尔1373.68204
马可·里皮;马尔科·厄南德斯;阿里尔·费尔纳
2016
CADE-25自动定理证明系统竞赛–CASC-25。 Zbl 1373.68368号
杰夫·萨特克利夫;约瑟夫·厄本
1
2016
计算命题公式主干的算法。 Zbl 1373.68379号
米科拉什·亚诺塔;林奇,因斯;若昂·西尔瓦侯爵
14
2015
SAC和邻里SAC。 兹比尔1373.68387
理查德·华莱士。
4
2015
一种高级分散搜索算法,用于求解具有序列相关和非预期设置的作业车间。 Zbl 1373.68376号
米盖尔·冈萨雷斯(Miguel A.González)。;卡米诺·R·维拉。;拉米罗·瓦雷拉;冈萨雷斯-罗德里格斯
2015
组MaxSAT基于MaxSAT的编码。 Zbl 1373.68377号
费德里科·赫拉斯;安东尼奥·莫尔加多;若昂·西尔瓦侯爵
2015
整合论证和情绪分析,从推特上挖掘观点。 兹比尔1373.68322
凯瑟琳·格罗斯;González,Maria P。;卡洛斯·切斯尼瓦尔。;Ana G.马奎特曼。
2015
使用增量QBF验证部分设计。 Zbl 1373.68382号
克里斯蒂安·米勒;马林,保罗;贝恩德·贝克尔
2
2015
用遗传算法调度污染事件对策。 Zbl 1373.68374号
马可·加瓦内利;Maddalena诺纳托;安德烈亚·皮亚诺;斯特凡诺·阿尔维西;马可·弗朗西尼
1
2015
在规划中利用宏观行动和预测计划长度作为可满足性。 Zbl 1373.68375号
阿方索·埃米利奥·杰雷维尼;亚历山德罗·萨埃蒂;毛罗·瓦拉蒂
1
2015
重复任务的加拿大旅行者问题。 Zbl 1373.90125号
扎伊·布那亚;阿里尔·费尔纳;油炸,Dror;奥尔加·麦肯;所罗门·埃亚尔·希莫尼
1
2015
选举算法:一种新的受社会政治启发的策略。 兹比尔1373.68372
霍贾特·埃马米;Farnaz Derakhshan公司
1
2015
第七届IJCAR自动定理证明系统竞赛——CASC-J7。 Zbl 1373.68366号
杰夫·萨特克利夫
1
2015
走向随机行走规划的理论:回归因子,公平齐次图和扩展。 Zbl 1338.68245号
Hootan Nakhost;马丁·米勒
2
2014
将解决可满足性问题的方法与定性偏好相结合。 Zbl 1296.68164号
伊曼纽尔·迪·罗莎;恩里科·金西格里亚
7
2013
实现高效MUS提取。 Zbl 1248.68450号
安东·贝洛夫;林奇,因斯;若昂·西尔瓦侯爵
21
2012
任何时间与/或深度优先搜索组合优化。 Zbl 1250.90075号
拉尔斯·奥滕;丽娜·德希特
5
2012
挑战SMT求解器验证神经网络。 Zbl 1248.68462号
卢卡·普利纳;阿曼多·塔切拉
2012
使用最大可满足性解决带有偏好的析取时态问题。 Zbl 1248.68459号
马可·马拉提亚;卢卡·普利纳
1
2012
规划符合IPC简单偏好和行动成本。 Zbl 1248.68458号
马可·马拉提亚
1
2012
Potassco:波茨坦答案集求解集合。 Zbl 1215.68214号
马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗斯基;托尔斯滕·绍布;马吕斯·施奈德
64
2011
基于增量答案集编程的有限模型计算系统。 Zbl 1215.68209号
马丁·格布瑟;奥昆特·萨布努克;托尔斯滕·绍布
8
2011
对称破缺答案集求解。 Zbl 1215.68212号
克里斯蒂安·德雷舍尔;奥纳州蒂弗雷;托比·沃尔什
6
2011
成本最优规划的加权顾客服务提供商方法。 Zbl 1233.68205号
马丁·库珀。;玛丽·德·罗克莫雷尔;皮埃尔·雷格尼尔
5
2011
在ASP求解器中学习和使用特定于域的启发式。 兹比尔1215.68207
马塞洛·巴尔杜奇尼
5
2011
动态魔术集和超相干答案集程序。 Zbl 1215.68211号
马里奥·阿尔维亚诺;沃尔夫冈·费伯
4
2011
有限递归程序:可判定性和自底向上计算。 Zbl 1235.68223号
弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂
2011
有序析取的逻辑特征。 Zbl 1218.68069号
佩德罗·卡巴拉尔
2011
限制连接计算中的回溯。 兹比尔1205.68363
简斯·奥滕
15
2010
实现公平的一元时序逻辑证明程序。 Zbl 1206.68283号
米歇尔·路德维希;乌尔里希·赫斯塔特
10
2010
使用符号执行对并发系统进行交互验证。 Zbl 1205.68217号
西蒙·巴姆勒;迈克尔·巴尔泽;弗洛里安·纳夫兹;沃尔夫冈·雷夫;格哈德·谢尔霍恩
8
2010
CADE-22自动定理证明系统竞赛–CASC-22。 Zbl 1200.68220号
杰夫·萨特克利夫
6
2010
SOLAR:用于结果发现的自动推断系统。 Zbl 1205.68362号
希德托莫·纳贝希玛;井沼,Koji;井上,Katsumi;奥利弗·雷
6
2010
自动推理在自然语言问答中的应用。 Zbl 1205.68360号
乌尔里希·富巴赫;英戈·格莱克纳;比约恩·佩尔泽
6
2010
使用OWL代表和监督承诺和规范。 Zbl 1216.68283号
尼科莱塔·福娜拉;马尔科·科伦贝蒂
5
2010
次术语上下文改写。 Zbl 1206.68164号
克里斯托夫·韦登巴赫;帕特里克·维什内夫斯基
5
2010
拟群和环路理论中的自动定理证明。 兹比尔1204.68181
菲利普斯,J.D。;大卫,斯坦诺夫斯克
5
2010
使用内存验证代理比看起来更难。 Zbl 1216.68257号
牛,尼尔斯;沃伊切赫·贾姆罗加
4
2010
多智能体强化学习的广义学习自动机。 Zbl 1216.68229号
雅恩·米夏·德·豪瓦雷;彼得·弗兰克斯;现在,安
2010
CTL-RP:一个计算树逻辑解析证明程序。 Zbl 1205.68365号
张,兰;乌尔里希·赫斯塔特;克莱尔·狄克逊
2010
在CASC与SUMO进行大型理论推理。 Zbl 1344.68229号
亚当·皮斯;杰夫·萨特克利夫;尼克·西格尔;史蒂文·特拉克
2
2010
SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号
阿西恩·阿查,罗伯托;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔
2
2010
带限定数限制的实用推理:描述逻辑({mathcal{SHQ}})的混合Abox演算。 Zbl 1205.68404号
纳西姆·法西尼亚马尔吉;沃尔克·哈尔斯列夫
2
2010
评估和认证QBF:最先进工具的比较。 Zbl 1186.68440号
马西莫·纳里扎诺;克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉
8
2009
约束满足问题中动态适应传播的启发式方法。 Zbl 1185.90191号
科斯塔斯·斯特乔
7
2009
微分进化中种群动力学的稳定性和收敛性。 Zbl 1200.68185号
桑巴塔·达斯古普塔;达斯,斯瓦加坦;阿里吉特·比斯瓦斯;亚吉思·亚伯拉罕
4
2009
OMBO:对手建模方法。 Zbl 1200.68246号
阿加皮托·莱德斯马;里卡多·阿勒;桑奇斯(Sanchis,Araceli);丹尼尔·博拉乔
4
2009
基于知识的推荐器查询松弛度的快速计算。 Zbl 1187.68595号
迪特马尔·扬纳
1
2009
分散任务分配中代理的偏好。 兹比尔1185.68531
马克·胡根登;玛丽亚·基尼
1
2009
CADE-21自动定理证明系统竞赛。 Zbl 1147.68699号
杰夫·萨特克利夫
5
2008
在推荐系统中开发分类法。 Zbl 1172.68628号
齐格勒、凯·尼科拉斯;乔治·劳森;约瑟夫·康斯坦(Joseph A.Konstan)。
1
2008
信任增强推荐系统中的关键人物影响。 Zbl 1172.68627号
帕特里夏·维克托;克里斯·科内利斯;马丁·德·科克;安库尔·特雷德赛。
1
2008
一种基于多层本体的混合推荐模型。 Zbl 1160.68581号
伊凡·坎塔多;亚历杭德罗·贝洛金;巴勃罗·卡斯特尔斯
1
2008
在社交书签系统中标记建议。 Zbl 1184.68074号
罗伯特·Jäschke;利安德罗·马里奥;安德烈亚斯·霍托;拉尔斯·施密特·蒂姆;格尔德,斯图姆
1
2008
在复杂网络中找到最突出的群体。 Zbl 1189.68087号
拉米·普齐斯;尤瓦尔·埃洛维奇;什洛米·多列夫
11
2007
从优先约束过账到部分订单计划。稳健调度的CSP方法。 Zbl 1146.90421号
尼古拉·波里塞拉;阿梅迪奥·塞斯塔;安吉洛·奥迪;斯蒂芬·史密斯。
7
2007
在耐心游戏“黑洞”中搜索。 Zbl 1151.90525号
伊恩·詹特(Ian P.Gent)。;克里斯·杰斐逊;汤姆·凯尔西;林奇,因斯;伊恩·米格尔;彼得·南丁格尔;芭芭拉·史密斯。;塔里木,S.Armagan
7
2007
解决和学习一类易于处理的软时间约束:理论和实验结果。 Zbl 1143.68545号
利纳·哈提卜;莫里斯,保罗;罗伯特·莫里斯;弗朗西丝卡·罗西;亚历山德罗·斯佩尔杜蒂;Venable,K.布伦特
5
2007
加权网络的聚类系数,应用于基因表达数据。 Zbl 1189.68084号
加布里埃拉·卡纳;德斯蒙德·海姆。
5
2007
基于蜂群优化的全光网络路由和波长分配。 Zbl 1185.90174号
戈兰·马尔科维奇。;特奥多罗维奇,杜珊·B。;Aćimović-Raspopović,Vladanka S。
5
2007
关于建模因果独立性在使用OBDD进行系统模型编译中的作用。 Zbl 1127.68077号
吉安卢卡·托塔;彼得罗·托拉索
2007
LRBNN:一种惰性径向基神经网络模型。 Zbl 1129.68068号
若泽·瓦尔斯。;加尔文(Inés M.Galván)。;佩德罗·伊萨西
2
2007
计算所有(X)最小模型的上限。 Zbl 1129.68083号
陈·阿文;雷切尔·本·埃利亚胡·佐哈里
1
2007
在当地安排社交比赛。 Zbl 1146.90411号
伊万·多图;帕斯卡·范·亨特利克
1
2007
CASC的状态。 Zbl 1112.68464号
杰夫·萨特克利夫;克里斯蒂安·萨特纳
18
2006
服务机器人团队的在线监测和诊断:一种基于模型的方法。 Zbl 1127.68444号
罗伯特·米卡西奥;彼得罗·托拉索;吉安卢卡·托塔
7
2006
选言逻辑程序设计的一种回跳技术。 Zbl 1102.68433号
弗朗西斯科·里卡;沃尔夫冈·费伯;尼古拉·利昂
2006
析取逻辑编程的模板程序:一种操作语义。 Zbl 1104.68009号
弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼
2006
使用带否定的视图重写查询。 Zbl 1104.68036号
阿夫拉蒂、福托;瓦西亚·帕夫拉基
1
2006
移动机器人地标识别的模糊约束满足方法。 Zbl 1104.68780号
亚伯拉罕·奥特罗;保罗·费利克斯;卡洛斯·雷盖罗;米盖尔·罗德里格斯;塞恩·巴罗
1
2006
用于建模和解决搜索问题的工具。 Zbl 1127.68365号
东,黛博拉;米哈伊尔·伊卡希亚耶夫;阿图尔·米基图克;特鲁什琴斯基,米洛斯奥
1
2006
整合异构适应技术,构建灵活可用的移动导游。 Zbl 1127.68483号
费德里卡·塞纳;卢卡控制台;基纳,克里斯蒂娜;安娜·戈伊;圭多·列维;索尼娅·莫德奥;伊利亚·托雷
1
2006
不确定性调度:一种使用部分订单调度的前瞻性方法。 Zbl 1161.68366号
尼古拉·波里塞拉
2005
代理社交网络中基于模糊推荐的合作。 Zbl 1121.91417号
哈维尔·卡波;何塞·莫利纳(Jose M.Molina)。;豪尔赫·达维拉
1
2005
智能采集系统的多代理体系结构。 Zbl 1076.68546号
大卫·卡马乔;里卡多·阿勒;丹尼尔·博拉乔;何塞·莫利纳。
1
2005
布尔接触代数的构造。 Zbl 1070.03042号
伊沃·杜恩施;温特,迈克尔
6
2004
整合定量和定性模糊时间约束。 Zbl 1098.68101号
西尔瓦娜·巴达洛尼;马尔科·法尔达;马西米利亚诺·贾科明
2004
与语言术语的定性模式匹配。 Zbl 1086.68541号
扬尼克·洛伊索;亨利·普拉德;莫汉德·布干纳姆
1
2004
支持网站导航的协作过滤。 Zbl 1062.68507号
吉安路易吉·格雷科;塞尔吉奥·格雷科;埃斯特·赞帕诺
1
2004
动态环境中解决时间约束的系统与非系统技术。 Zbl 1098.68118号
马利克·穆胡布
1
2004
直接描述本体论的持久性和持久性。 Zbl 1098.68102号
托马斯·比特纳;莫林·唐纳利;巴里·史密斯
1
2004
…还有22个文档
全部的 前5名

1118位作者引用

30 约瑟夫·厄本
16 贾斯敏·克里斯蒂安·布兰切特
15 杰夫·萨特克利夫
13 Joáo P.塞尔瓦侯爵。
12 塞萨里·卡利西克
11 马丁·格布瑟
11 索菲·托雷特
11 安德烈·沃伦科夫
10 托尔斯滕·绍布(Torsten H.Schaub)。
9 Jakubův,简
9 佩塔·武克米罗维奇
8 卡明·多达罗
8 托马斯·艾特
8 马可·马拉提亚
8 劳伦斯·查尔斯·保尔森
8 克里斯托夫·韦登巴赫
7 亚历山大·本特坎普
7 克里斯托夫·埃瓦尔德·本兹穆勒
7 克莱尔·狄克逊
7 简斯·奥滕
7 贾尔斯·里格尔
6 克拉克·W·巴雷特。
6 Böhme,萨沙
6 乌尔里希·赫斯塔特
6 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。
6 米科拉什·亚诺塔
6 法律,Mark M。
6 尼古拉·利昂
6 弗朗西斯科·里卡
6 亚历山德拉·拉索。
6 马丁·苏达
6 乌韦·沃尔德曼
5 Krysia B.布罗达。
5 乍得·布朗·爱德华
5 格奥尔格·戈特洛布
5 汤米·詹胡宁
5 马蒂·Järvisalo
5 罗兰·卡明斯基
5 科瓦奇,劳拉·伊尔迪科
5 托马斯·克伦瓦尔纳
5 卡洛斯·门西娅
5 米罗斯拉夫·奥沙克
5 亚历山德罗·普雷维蒂
5 格哈德·谢尔霍恩
5 雷娜特·施密特(Renate A.Schmidt)。
5 斯蒂芬·舒尔茨
5 塞萨尔·蒂内利
5 维斯科基尔
5 多米尼克·沃伊特扎克
4 马可·巴奥莱蒂
4 卡雷尔·奇瓦洛夫斯克
4 西蒙·克鲁恩斯
4 伊沃·杜恩施
4 埃斯拉·埃尔登
4 迈克尔·费希尔
4 安德烈亚斯·赫齐格
4 Heule,Marijn J.H。
4 阿尔弗雷多·米拉尼
4 托比亚斯·尼普科
4 拉斐尔·佩尼亚洛萨
4 沃尔夫冈·雷夫
4 瓦伦蒂诺·桑图奇
4 阿伦·斯塔姆
4 汉斯·皮特·范·迪特马什
4 温特,迈克尔
马里奥·阿尔维亚诺
Krzysztof Rafal公寓
彼得·鲍姆加特纳
贝恩德·贝克尔
贝莱德·本哈莫
格哈德·布鲁卡
佩德罗·卡巴拉尔
科恩·克莱森
达维多维奇,塔贾纳
马丁·德·科克
莱昂纳多·德·莫拉
马丁·德沙奈斯
沃尔夫冈·费伯
阿里尔·费尔纳
艾伦·M·弗里希。
乌尔里希·富巴赫
Sarah Alice Gaggl
马尔文·加廷格
Thibault Gauthier
霍德、克里什托夫
迈尔·卡拉奇
加尔·A·卡明卡。
马蒂亚斯·克诺尔
康斯坦丁·科洛文
丹尼尔·库尔温
米歇尔·伦巴第
伊恩·米格尔
米歇拉·米兰
马克·内维尔(Marc Neveling)
Nummelin,维萨卡
安吉洛·奥迪
亚当·皮斯
卢卡·普利纳
弗洛里安·拉贝
西尔维奥·兰伊斯
…还有1018位作者
全部的 前5名

85种期刊被引用

45 人工智能
40 自动推理杂志
34 逻辑程序设计理论与实践
26 数学与人工智能年鉴
20 约束条件
12 信息科学
11 应用逻辑杂志
9 国际近似推理杂志
8 理论计算机科学
8 信息与计算
7 AI通信
7 ACM计算逻辑事务
6 机器学习
6 欧洲运筹学杂志
6 计算机科学中的逻辑方法
5 模糊集与系统
5 系统设计中的形式化方法
5 人工智能研究杂志
5 计算机基础理论
4 离散应用数学
4 计算机与系统科学杂志
4 符号计算杂志
4 计算的形式方面
计算机与运筹学
运筹学年鉴
工程中的数学问题
软计算
计算机科学中的数学
可满足性、布尔建模与计算杂志
2 信息处理信件
2 逻辑研究
2 全球优化杂志
2 应用非经典逻辑杂志
2 国际计算机视觉杂志
2 启发式杂志
2 计算系统理论
2 调度日志
2 计算智能
2 优化信函
2 符号逻辑述评
2 程序设计中的逻辑和代数方法杂志
1 倒排索引综述
1 信息学报
1 离散数学
1 富兰克林研究所期刊
1 生理学A
1 数学生物学通报
1 波兰科学院公报。技术科学
1 代数普遍性
1 应用数学与计算
1 哲学逻辑杂志
1 模拟中的数学和计算机
1 网络
1 计算机程序设计科学
1 社会选择与福利
1 计算机科学与技术杂志
1 新一代计算
1 并行与分布式计算杂志
1 神经网络
1 应用智能
1 人工智能综述
1 统计传播。模拟和计算
1 统计计算与模拟杂志
1 模式识别
1 开放经济评论
1 反问题与不适定问题杂志
1 信息计算杂志
1 数据挖掘与知识发现
1 自然与社会中的离散动力学
1 定量金融学
1 电子商务研究
1 自然计算
1 ACM实验算法杂志
1 离散算法杂志
1 互联网数学
1 中国科学。F系列
1 数学与音乐杂志
1 泛逻辑
1 网络和异构媒体
1 国际智能计算与控制论杂志
1 Vestnik Samarskogo Gosudarstennogo Tekhnicheskogo大学。Seriya Fiziko-Matematicheskie Nauki公司
1 算法
1 伊尔库茨科戈大学。马特马提卡丝里亚
1 国际系统科学杂志。系统与集成原理与应用
1 SN运营研究论坛

按年份列出的引文