Pub Date : 2009-07-24DOI: 10.1007/978-3-642-02846-5_13
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
{"title":"Logic Programming for Multiagent Planning with Negotiation","authors":"Tran Cao Son, Enrico Pontelli, Chiaki Sakama","doi":"10.1007/978-3-642-02846-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_13","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"62 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133755294","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_58
C. Have
{"title":"Logic-Statistic Models with Constraints for Biological Sequence Analysis","authors":"C. Have","doi":"10.1007/978-3-642-02846-5_58","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_58","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"109 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":"128395535","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_15
Xiaoping Chen, Jianmin Ji, Fangzhen Lin
{"title":"Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs","authors":"Xiaoping Chen, Jianmin Ji, Fangzhen Lin","doi":"10.1007/978-3-642-02846-5_15","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_15","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"35 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":"126988171","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_46
T. Swift, A. Pinto, L. Pereira
{"title":"Incremental Answer Completion in the SLG-WAM","authors":"T. Swift, A. Pinto, L. Pereira","doi":"10.1007/978-3-642-02846-5_46","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_46","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"8 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":"130008498","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_64
M. Bottalico, Stefano Bistarelli
{"title":"Constraint Based Languages for Biological Reactions","authors":"M. Bottalico, Stefano Bistarelli","doi":"10.1007/978-3-642-02846-5_64","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_64","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"7 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":"131177520","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_24
Michael P. Ashley-Rollman, Peter Lee, S. Goldstein, P. Pillai, Jason Campbell
{"title":"A Language for Large Ensembles of Independently Executing Nodes","authors":"Michael P. Ashley-Rollman, Peter Lee, S. Goldstein, P. Pillai, Jason Campbell","doi":"10.1007/978-3-642-02846-5_24","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_24","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"18 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":"122569413","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_11
Henning Christiansen, O. Lassen
{"title":"Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis","authors":"Henning Christiansen, O. Lassen","doi":"10.1007/978-3-642-02846-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_11","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"29 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":"123463784","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_56
Yana Todorova
{"title":"Answering Questions from Natural Language Using A-Prolog","authors":"Yana Todorova","doi":"10.1007/978-3-642-02846-5_56","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_56","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"51 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":"129152210","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
扫码关注我们
求助内容：
应助结果提醒方式：