Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
Pub Date : 2009-07-24DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：