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

International Conference on Logic Programming最新文献

筛选
英文 中文
Stabilization of Information Sharing for Queries Answering in Multiagent Systems 多智能体系统查询应答信息共享的稳定性研究
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_12
P. M. Dung, Do Duc Hanh, P. Thang
{"title":"Stabilization of Information Sharing for Queries Answering in Multiagent Systems","authors":"P. M. Dung, Do Duc Hanh, P. Thang","doi":"10.1007/978-3-642-02846-5_12","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_12","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"23 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":"133996678","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}
引用次数: 0
A Tabling Implementation Based on Variables with Multiple Bindings 基于多绑定变量的表实现
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_19
P. Guzmán, M. Carro, M. Hermenegildo
{"title":"A Tabling Implementation Based on Variables with Multiple Bindings","authors":"P. Guzmán, M. Carro, M. Hermenegildo","doi":"10.1007/978-3-642-02846-5_19","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_19","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"71 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":"132657668","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
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework 在断言验证框架中集成软件测试和运行时检查
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_25
E. Mera, P. López-García, M. Hermenegildo
{"title":"Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework","authors":"E. Mera, P. López-García, M. Hermenegildo","doi":"10.1007/978-3-642-02846-5_25","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_25","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"30 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":"131877679","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}
引用次数: 55
Automating Termination Proofs for CHR 自动终止证明的CHR
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_43
Paolo Pilozzi, D. D. Schreye
{"title":"Automating Termination Proofs for CHR","authors":"Paolo Pilozzi, D. D. Schreye","doi":"10.1007/978-3-642-02846-5_43","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_43","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"22 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":"128992499","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}
引用次数: 10
Qualified Computations in Functional Logic Programming 函数逻辑程序设计中的合格计算
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_36
R. Caballero, M. Rodríguez-Artalejo, Carlos A. Romero-Díaz
{"title":"Qualified Computations in Functional Logic Programming","authors":"R. Caballero, M. Rodríguez-Artalejo, Carlos A. Romero-Díaz","doi":"10.1007/978-3-642-02846-5_36","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_36","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"37 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":"131424715","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}
引用次数: 4
Fusion of Logic Programming and Description Logics 逻辑程序设计与描述逻辑的融合
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_59
M. Simkus
{"title":"Fusion of Logic Programming and Description Logics","authors":"M. Simkus","doi":"10.1007/978-3-642-02846-5_59","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_59","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"20 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":"127707523","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
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming 通用并发约束规划中具有局部知识的安全模式匹配类型
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_34
Thomas T. Hildebrandt, Hugo A. López
{"title":"Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming","authors":"Thomas T. Hildebrandt, Hugo A. López","doi":"10.1007/978-3-642-02846-5_34","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_34","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"71 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":"130012899","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}
引用次数: 12
Attributed Data for CHR Indexing 用于CHR索引的属性数据
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_30
B. Sarna-Starosta, T. Schrijvers
{"title":"Attributed Data for CHR Indexing","authors":"B. Sarna-Starosta, T. Schrijvers","doi":"10.1007/978-3-642-02846-5_30","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_30","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"1 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":"130284281","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
Experiences Using Logic Programming in Bioinformatics 逻辑程序设计在生物信息学中的应用经验
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_1
C. Mungall
{"title":"Experiences Using Logic Programming in Bioinformatics","authors":"C. Mungall","doi":"10.1007/978-3-642-02846-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_1","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"150 1-2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132062594","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
Capturing Fair Computations on Concurrent Constraint Language 在并发约束语言中获取公平计算
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_63
Paola Campli, Stefano Bistarelli
{"title":"Capturing Fair Computations on Concurrent Constraint Language","authors":"Paola Campli, Stefano Bistarelli","doi":"10.1007/978-3-642-02846-5_63","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_63","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"81 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":"133943920","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学术官方微信