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

International Conference on Logic Programming最新文献

筛选
英文 中文
Logic Programming for Multiagent Planning with Negotiation 带协商的多智能体规划逻辑规划
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_13
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
{"title":"Logic Programming for Multiagent Planning with Negotiation","authors":"Tran Cao Son, Enrico Pontelli, Chiaki Sakama","doi":"10.1007/978-3-642-02846-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_13","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"62 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133755294","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}
引用次数: 31
Research Summary: Termination of CHR 研究总结:CHR的终止
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_51
Paolo Pilozzi
{"title":"Research Summary: Termination of CHR","authors":"Paolo Pilozzi","doi":"10.1007/978-3-642-02846-5_51","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_51","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114940377","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}
引用次数: 2
Logic-Statistic Models with Constraints for Biological Sequence Analysis 生物序列分析中具有约束的逻辑统计模型
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_58
C. Have
{"title":"Logic-Statistic Models with Constraints for Biological Sequence Analysis","authors":"C. Have","doi":"10.1007/978-3-642-02846-5_58","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_58","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128395535","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}
引用次数: 1
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs 析取逻辑程序最多一个外部支持规则的计算循环
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_15
Xiaoping Chen, Jianmin Ji, Fangzhen Lin
{"title":"Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs","authors":"Xiaoping Chen, Jianmin Ji, Fangzhen Lin","doi":"10.1007/978-3-642-02846-5_15","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_15","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126988171","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
Modular Action Language ALM{cal ALM} 模块化动作语言ALM{cal ALM}
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_55
Daniela Inclezan
{"title":"Modular Action Language ALM{cal ALM}","authors":"Daniela Inclezan","doi":"10.1007/978-3-642-02846-5_55","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_55","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130238192","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}
引用次数: 3
Incremental Answer Completion in the SLG-WAM SLG-WAM中的增量回答完成
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_46
T. Swift, A. Pinto, L. Pereira
{"title":"Incremental Answer Completion in the SLG-WAM","authors":"T. Swift, A. Pinto, L. Pereira","doi":"10.1007/978-3-642-02846-5_46","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_46","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130008498","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
Constraint Based Languages for Biological Reactions 基于约束的生物反应语言
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_64
M. Bottalico, Stefano Bistarelli
{"title":"Constraint Based Languages for Biological Reactions","authors":"M. Bottalico, Stefano Bistarelli","doi":"10.1007/978-3-642-02846-5_64","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_64","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131177520","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}
引用次数: 1
A Language for Large Ensembles of Independently Executing Nodes 一种用于独立执行节点的大型集成的语言
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_24
Michael P. Ashley-Rollman, Peter Lee, S. Goldstein, P. Pillai, Jason Campbell
{"title":"A Language for Large Ensembles of Independently Executing Nodes","authors":"Michael P. Ashley-Rollman, Peter Lee, S. Goldstein, P. Pillai, Jason Campbell","doi":"10.1007/978-3-642-02846-5_24","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_24","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122569413","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}
引用次数: 70
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis 序列分析中概率逻辑模型优化的预处理
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_11
Henning Christiansen, O. Lassen
{"title":"Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis","authors":"Henning Christiansen, O. Lassen","doi":"10.1007/978-3-642-02846-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_11","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123463784","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
Answering Questions from Natural Language Using A-Prolog 用A-Prolog回答自然语言中的问题
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_56
Yana Todorova
{"title":"Answering Questions from Natural Language Using A-Prolog","authors":"Yana Todorova","doi":"10.1007/978-3-642-02846-5_56","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_56","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129152210","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}
引用次数: 1
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信