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

International Conference on Logic Programming最新文献

筛选
英文 中文
Proving Termination by Invariance Relations 用不变性关系证明终止
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_42
Paolo Pilozzi, D. D. Schreye
{"title":"Proving Termination by Invariance Relations","authors":"Paolo Pilozzi, D. D. Schreye","doi":"10.1007/978-3-642-02846-5_42","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_42","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"40 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":"131445103","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
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality 研究综述:扩展函数约束消去算法求解每个不等式的两个整数变量
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_49
Chendong Li
{"title":"Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality","authors":"Chendong Li","doi":"10.1007/978-3-642-02846-5_49","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_49","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"48 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":"130290316","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
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers 冲突驱动ASP求解器中权约束规则的实现
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_23
M. Gebser, R. Kaminski, B. Kaufmann, Torsten Schaub
{"title":"On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers","authors":"M. Gebser, R. Kaminski, B. Kaufmann, Torsten Schaub","doi":"10.1007/978-3-642-02846-5_23","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_23","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"38 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":"114401869","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}
引用次数: 37
Debugging for Model Expansion 模型扩展调试
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_26
Johan Wittocx, H. Vlaeminck, M. Denecker
{"title":"Debugging for Model Expansion","authors":"Johan Wittocx, H. Vlaeminck, M. Denecker","doi":"10.1007/978-3-642-02846-5_26","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_26","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"52 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":"121587909","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
Demand-Driven Normalisation for ACD Term Rewriting 需求驱动的ACD术语重写规范化
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_39
L. Koninck, Gregory J. Duck, Peter James Stuckey
{"title":"Demand-Driven Normalisation for ACD Term Rewriting","authors":"L. Koninck, Gregory J. Duck, Peter James Stuckey","doi":"10.1007/978-3-642-02846-5_39","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_39","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"124 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":"126506152","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
Constraint Answer Set Solving 约束答案集求解
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_22
M. Gebser, M. Ostrowski, Torsten Schaub
{"title":"Constraint Answer Set Solving","authors":"M. Gebser, M. Ostrowski, Torsten Schaub","doi":"10.1007/978-3-642-02846-5_22","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_22","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":"128397094","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}
引用次数: 139
Research Summary: Logic Programming for Massively Distributed Systems 研究综述:大规模分布式系统的逻辑编程
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_48
Michael P. Ashley-Rollman
{"title":"Research Summary: Logic Programming for Massively Distributed Systems","authors":"Michael P. Ashley-Rollman","doi":"10.1007/978-3-642-02846-5_48","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_48","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"46 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":"116521486","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 New Approach to Non-termination Analysis of Logic Programs 逻辑程序非终止分析的一种新方法
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_21
Dean Voets, D. D. Schreye
{"title":"A New Approach to Non-termination Analysis of Logic Programs","authors":"Dean Voets, D. D. Schreye","doi":"10.1007/978-3-642-02846-5_21","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_21","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"59 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":"129742985","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
Belief Logic Programming 信念逻辑程序设计
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_57
Hui Wan
{"title":"Belief Logic Programming","authors":"Hui Wan","doi":"10.1007/978-3-642-02846-5_57","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_57","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"34 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":"134477747","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
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems 力的概述:一个关于紧急系统的声明形式的INRIA项目
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_44
Jesús Aranda, G. Assayag, C. Olarte, Jorge A. Pérez, C. Rueda, Mauricio Toro, F. Valencia
{"title":"An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems","authors":"Jesús Aranda, G. Assayag, C. Olarte, Jorge A. Pérez, C. Rueda, Mauricio Toro, F. Valencia","doi":"10.1007/978-3-642-02846-5_44","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_44","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"44 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":"133509220","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}
引用次数: 20
首页 上一页 下一页 尾页
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学术官方微信