发布求助
文献互助 智能选刊 最新文献

Artif. Intell.最新文献

筛选
英文 中文
Predicting the size of IDA*'s search tree 预测IDA*搜索树的大小
Artif. Intell. Pub Date : 2013-03-01 DOI: 10.1016/j.artint.2013.01.001
Levi H. S. Lelis, Sandra Zilles, R. Holte
{"title":"Predicting the size of IDA*'s search tree","authors":"Levi H. S. Lelis, Sandra Zilles, R. Holte","doi":"10.1016/j.artint.2013.01.001","DOIUrl":"https://doi.org/10.1016/j.artint.2013.01.001","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"32 1","pages":"53-76"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76830391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Automatic behavior composition synthesis 自动行为合成
Artif. Intell. Pub Date : 2013-03-01 DOI: 10.1016/j.artint.2012.12.001
Giuseppe De Giacomo, F. Patrizi, Sebastian Sardiña
{"title":"Automatic behavior composition synthesis","authors":"Giuseppe De Giacomo, F. Patrizi, Sebastian Sardiña","doi":"10.1016/j.artint.2012.12.001","DOIUrl":"https://doi.org/10.1016/j.artint.2012.12.001","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"1 1","pages":"106-142"},"PeriodicalIF":0.0,"publicationDate":"2013-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78304259","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 66
A general model and thresholds for random constraint satisfaction problems 随机约束满足问题的一般模型和阈值
Artif. Intell. Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.08.003
Yun Fan, Jing Shen, Ke Xu
{"title":"A general model and thresholds for random constraint satisfaction problems","authors":"Yun Fan, Jing Shen, Ke Xu","doi":"10.1016/j.artint.2012.08.003","DOIUrl":"https://doi.org/10.1016/j.artint.2012.08.003","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"55 1","pages":"1-17"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87933115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Concurrent forward bounding for distributed constraint optimization problems 分布式约束优化问题的并发正向边界
Artif. Intell. Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.09.002
Arnon Netzer, Alon Grubshtein, A. Meisels
{"title":"Concurrent forward bounding for distributed constraint optimization problems","authors":"Arnon Netzer, Alon Grubshtein, A. Meisels","doi":"10.1016/j.artint.2012.09.002","DOIUrl":"https://doi.org/10.1016/j.artint.2012.09.002","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"96 1","pages":"186-216"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91344152","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
Normal and strong expansion equivalence for argumentation frameworks 论证框架的正规和强展开式等价
Artif. Intell. Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.08.004
Ringo Baumann
{"title":"Normal and strong expansion equivalence for argumentation frameworks","authors":"Ringo Baumann","doi":"10.1016/j.artint.2012.08.004","DOIUrl":"https://doi.org/10.1016/j.artint.2012.08.004","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"69 1","pages":"18-44"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76020577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 62
Planning as satisfiability: Heuristics 作为可满足性的计划:启发式
Artif. Intell. Pub Date : 2012-12-01 DOI: 10.1016/j.artint.2012.08.001
J. Rintanen
{"title":"Planning as satisfiability: Heuristics","authors":"J. Rintanen","doi":"10.1016/j.artint.2012.08.001","DOIUrl":"https://doi.org/10.1016/j.artint.2012.08.001","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"117 1","pages":"45-86"},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74123888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 154
On truth-gaps, bipolar belief and the assertability of vague propositions 论真理鸿沟、两极信念与模糊命题的可断言性
Artif. Intell. Pub Date : 2012-11-01 DOI: 10.1016/j.artint.2012.07.004
J. Lawry, Yongchuan Tang
{"title":"On truth-gaps, bipolar belief and the assertability of vague propositions","authors":"J. Lawry, Yongchuan Tang","doi":"10.1016/j.artint.2012.07.004","DOIUrl":"https://doi.org/10.1016/j.artint.2012.07.004","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"39 1","pages":"20-41"},"PeriodicalIF":0.0,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78934170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
Applicability conditions for plans with loops: Computability results and algorithms 循环计划的适用条件:可计算性结果和算法
Artif. Intell. Pub Date : 2012-11-01 DOI: 10.1016/j.artint.2012.07.005
Siddharth Srivastava, N. Immerman, S. Zilberstein
{"title":"Applicability conditions for plans with loops: Computability results and algorithms","authors":"Siddharth Srivastava, N. Immerman, S. Zilberstein","doi":"10.1016/j.artint.2012.07.005","DOIUrl":"https://doi.org/10.1016/j.artint.2012.07.005","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"14 1","pages":"1-19"},"PeriodicalIF":0.0,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84631270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
GAMoN: Discovering M-of-N{¬, ∨} hypotheses for text classification by a lattice-based Genetic Algorithm GAMoN:通过基于格的遗传算法发现文本分类的M-of-N{¬，∨}假设
Artif. Intell. Pub Date : 2012-11-01 DOI: 10.1016/j.artint.2012.07.003
Veronica L. Policicchio, Adriana Pietramala, P. Rullo
{"title":"GAMoN: Discovering M-of-N{¬, ∨} hypotheses for text classification by a lattice-based Genetic Algorithm","authors":"Veronica L. Policicchio, Adriana Pietramala, P. Rullo","doi":"10.1016/j.artint.2012.07.003","DOIUrl":"https://doi.org/10.1016/j.artint.2012.07.003","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"7 1","pages":"61-95"},"PeriodicalIF":0.0,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74337603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots 并联机器人广义方面计算的分支与剪枝算法
Artif. Intell. Pub Date : 2012-10-08 DOI: 10.1007/978-3-642-33558-7_62
Stéphane Caro, Damien Chablat, A. Goldsztejn, Daisuke Ishii, C. Jermann
{"title":"A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots","authors":"Stéphane Caro, Damien Chablat, A. Goldsztejn, Daisuke Ishii, C. Jermann","doi":"10.1007/978-3-642-33558-7_62","DOIUrl":"https://doi.org/10.1007/978-3-642-33558-7_62","url":null,"abstract":"","PeriodicalId":8496,"journal":{"name":"Artif. Intell.","volume":"16 1","pages":"34-50"},"PeriodicalIF":0.0,"publicationDate":"2012-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76919749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信