Pub Date : 2009-07-24DOI: 10.1007/978-3-642-02846-5_5
J. Wielemaker
{"title":"Enabling Serendipitous Search on the Web of Data Using Prolog","authors":"J. Wielemaker","doi":"10.1007/978-3-642-02846-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_5","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"36 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":"126548016","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_9
Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian
{"title":"Using Histograms to Better Answer Queries to Probabilistic Logic Programs","authors":"Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian","doi":"10.1007/978-3-642-02846-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_9","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"75 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":"130622172","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_2
M. Denecker
{"title":"A Knowledge Base System Project for FO(.)","authors":"M. Denecker","doi":"10.1007/978-3-642-02846-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_2","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"83 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":"130794338","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_33
Neng-Fa Zhou
{"title":"Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC","authors":"Neng-Fa Zhou","doi":"10.1007/978-3-642-02846-5_33","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_33","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"3 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":"128041396","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_37
Steffen Hölldobler, C. K. Ramli
{"title":"Logic Programs under Three-Valued Lukasiewicz Semantics","authors":"Steffen Hölldobler, C. K. Ramli","doi":"10.1007/978-3-642-02846-5_37","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_37","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"26 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":"125636431","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_8
L. D. Raedt
{"title":"Probabilistic Logic Learning - A Tutorial Abstract","authors":"L. D. Raedt","doi":"10.1007/978-3-642-02846-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_8","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"106 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":"127661571","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_16
Minh Dao-Tran, Thomas Eiter, Michael Fink, T. Krennwallner
{"title":"Modular Nonmonotonic Logic Programming Revisited","authors":"Minh Dao-Tran, Thomas Eiter, Michael Fink, T. Krennwallner","doi":"10.1007/978-3-642-02846-5_16","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_16","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":"116290410","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_32
M. Gavanelli, M. Alberti, E. Lamma
{"title":"Integration of Abductive Reasoning and Constraint Optimization in SCIFF","authors":"M. Gavanelli, M. Alberti, E. Lamma","doi":"10.1007/978-3-642-02846-5_32","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_32","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":"117141901","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
扫码关注我们
求助内容：
应助结果提醒方式：