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