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

Principles and Practice of Constraint Programming最新文献

筛选
英文 中文
Experiences with Constraint-based Array Dependence Analysis 基于约束的数组依赖分析经验
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_109
W. Pugh, D. Wonnacott
{"title":"Experiences with Constraint-based Array Dependence Analysis","authors":"W. Pugh, D. Wonnacott","doi":"10.1007/3-540-58601-6_109","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_109","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130531366","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}
引用次数: 27
Towards a Concurrent Semantics based Analysis of CC and CLP 基于并发语义的CC和CLP分析
Principles and Practice of Constraint Programming Pub Date : 1994-05-01 DOI: 10.1007/3-540-58601-6_97
U. Montanari, F. Rossi, F. Bueno, M. G. D. L. Banda, M. Hermenegildo
{"title":"Towards a Concurrent Semantics based Analysis of CC and CLP","authors":"U. Montanari, F. Rossi, F. Bueno, M. G. D. L. Banda, M. Hermenegildo","doi":"10.1007/3-540-58601-6_97","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_97","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"275 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115885261","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
Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings 约束规划的原理与实践:第26届国际会议，CP 2020, Louvain-la-Neuve，比利时，2020年9月7-11日，论文集
Principles and Practice of Constraint Programming Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-58475-7
Behrouz Babaki, Bilel Omrani, G. Pesant
{"title":"Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings","authors":"Behrouz Babaki, Bilel Omrani, G. Pesant","doi":"10.1007/978-3-030-58475-7","DOIUrl":"https://doi.org/10.1007/978-3-030-58475-7","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"522 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127053857","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
Terminological Reasoning with Constraint Handling Rules 具有约束处理规则的术语推理
Principles and Practice of Constraint Programming Pub Date : 1900-01-01 DOI: 10.22028/D291-25344
Thom W. Frühwirth, Philipp Hanschke
{"title":"Terminological Reasoning with Constraint Handling Rules","authors":"Thom W. Frühwirth, Philipp Hanschke","doi":"10.22028/D291-25344","DOIUrl":"https://doi.org/10.22028/D291-25344","url":null,"abstract":"Constraint handling rules (CHRs) are a flexible means to implement 'user-defined' constraints on top of existing host languages (like Prolog and Lisp). Recently, M. Schmidt-Schaus and G. Smolka proposed a new methodology for constructing sound and complete inference algorithms for terminological knowledge representation formalisms in the tradition of KLONE. We propose CHRs as a flexible implementation language for the consistency test of assertions, which is the basis for all terminological reasoning services. \u0000The implementation results in a natural combination of three layers: (i) a constraint layer that reasons in well- understood domains such as rationals or finite domains, (ii) a terminological layer providing a tailored, validated vocabulary on which (iii) the application layer can rely. The flexibility of the approach will be illustrated by extending the formalism, its implementation and an application example (solving configuration problems) with attributes, a new quantifier and concrete domains.","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126812018","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}
引用次数: 54
Logic-Based Methods for Optimization 基于逻辑的优化方法
Principles and Practice of Constraint Programming Pub Date : 1900-01-01 DOI: 10.1007/3-540-58601-6_111
J. Hooker
{"title":"Logic-Based Methods for Optimization","authors":"J. Hooker","doi":"10.1007/3-540-58601-6_111","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_111","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116928012","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}
引用次数: 171
Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings 约束规划的原理与实践:第25届国际会议，CP 2019，斯坦福德，康涅狄格州，美国，2019年9月30日至10月4日，会议录
Principles and Practice of Constraint Programming Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-30048-7
T. Schiex, S. D. Givry
{"title":"Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings","authors":"T. Schiex, S. D. Givry","doi":"10.1007/978-3-030-30048-7","DOIUrl":"https://doi.org/10.1007/978-3-030-30048-7","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116500689","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
首页 上一页
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学术官方微信