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

International Conference on Logic Programming最新文献

筛选
英文 中文
Enabling Serendipitous Search on the Web of Data Using Prolog 使用Prolog在数据网络上实现偶然搜索
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 0
Using Histograms to Better Answer Queries to Probabilistic Logic Programs 使用直方图更好地回答对概率逻辑程序的查询
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 9
Research Summary: Non-termination Analysis of Logic Programs 研究综述:逻辑程序的非终止性分析
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_60
Dean Voets
{"title":"Research Summary: Non-termination Analysis of Logic Programs","authors":"Dean Voets","doi":"10.1007/978-3-642-02846-5_60","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_60","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"628 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120880042","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}
引用次数: 1
A Knowledge Base System Project for FO(.) 一个面向FO的知识库系统项目
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 3
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC 基于对向AC的CLP(FD)编码表约束
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 3
Logic Programs under Three-Valued Lukasiewicz Semantics 三值Lukasiewicz语义下的逻辑程序
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 75
Probabilistic Logic Learning - A Tutorial Abstract 概率逻辑学习-教程摘要
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 0
Generative Modeling by PRISM 基于PRISM的生成建模
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 10.1007/978-3-642-02846-5_4
Taisuke Sato
{"title":"Generative Modeling by PRISM","authors":"Taisuke Sato","doi":"10.1007/978-3-642-02846-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-02846-5_4","url":null,"abstract":"","PeriodicalId":271041,"journal":{"name":"International Conference on Logic Programming","volume":"2 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":"121767821","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}
引用次数: 20
Modular Nonmonotonic Logic Programming Revisited 再论模非单调逻辑规划
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 56
Integration of Abductive Reasoning and Constraint Optimization in SCIFF SCIFF中溯因推理与约束优化的集成
International Conference on Logic Programming Pub Date : 2009-07-24 DOI: 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}
引用次数: 5
首页 上一页 下一页 尾页
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学术官方微信