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

International Symposium on Foundations of Information and Knowledge Systems最新文献

筛选
英文 中文
The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs 传递闭包对图上导航查询语言布尔表达性的影响
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_8
G. Fletcher, M. Gyssens, Dirk Leinders, J. V. D. Bussche, D. V. Gucht, Stijn Vansummeren, Yuqing Wu
{"title":"The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs","authors":"G. Fletcher, M. Gyssens, Dirk Leinders, J. V. D. Bussche, D. V. Gucht, Stijn Vansummeren, Yuqing Wu","doi":"10.1007/978-3-642-28472-4_8","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_8","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121728454","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}
引用次数: 16
Backing and Undercutting in Abstract Argumentation Frameworks 抽象论证框架中的支持和削弱
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_7
Andrea Cohen, A. García, Guillermo R. Simari
{"title":"Backing and Undercutting in Abstract Argumentation Frameworks","authors":"Andrea Cohen, A. García, Guillermo R. Simari","doi":"10.1007/978-3-642-28472-4_7","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_7","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134418229","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}
引用次数: 17
Formalizing Production Systems with Rule-Based Ontologies 使用基于规则的本体形式化生产系统
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_19
Martín Rezk, M. Kifer
{"title":"Formalizing Production Systems with Rule-Based Ontologies","authors":"Martín Rezk, M. Kifer","doi":"10.1007/978-3-642-28472-4_19","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_19","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116832433","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}
引用次数: 8
FD Covers and Universal Complements of Simple Projections 简单投影的FD盖和泛补
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_11
S. Hegner
{"title":"FD Covers and Universal Complements of Simple Projections","authors":"S. Hegner","doi":"10.1007/978-3-642-28472-4_11","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_11","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123027059","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
Detecting Suspect Answers in the Presence of Inconsistent Information 在不一致的信息中检测可疑答案
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_16
O. Pivert, H. Prade
{"title":"Detecting Suspect Answers in the Presence of Inconsistent Information","authors":"O. Pivert, H. Prade","doi":"10.1007/978-3-642-28472-4_16","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_16","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120974816","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}
引用次数: 10
Encoding Databases Satisfying a Given Set of Dependencies 对满足给定依赖集的数据库进行编码
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_12
G. Katona, Krisztián Tichler
{"title":"Encoding Databases Satisfying a Given Set of Dependencies","authors":"G. Katona, Krisztián Tichler","doi":"10.1007/978-3-642-28472-4_12","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_12","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129434220","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
Using Functional Dependencies for Reducing the Size of a Data Cube 使用功能依赖来减小数据立方体的大小
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_9
Eve Garnaud, S. Maabout, M. Mosbah
{"title":"Using Functional Dependencies for Reducing the Size of a Data Cube","authors":"Eve Garnaud, S. Maabout, M. Mosbah","doi":"10.1007/978-3-642-28472-4_9","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_9","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129379041","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}
引用次数: 4
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags Armstrong数据库和部分包上的函数依赖和基数约束的推理
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_10
Sven Hartmann, Henning Köhler, S. Link, B. Thalheim
{"title":"Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags","authors":"Sven Hartmann, Henning Köhler, S. Link, B. Thalheim","doi":"10.1007/978-3-642-28472-4_10","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_10","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"18 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132090118","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}
引用次数: 8
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents 验证基于本体驱动的规则代理的资源需求
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_18
A. Rakib, Rokan Uddin Faruqui, W. MacCaull
{"title":"Verifying Resource Requirements for Ontology-Driven Rule-Based Agents","authors":"A. Rakib, Rokan Uddin Faruqui, W. MacCaull","doi":"10.1007/978-3-642-28472-4_18","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_18","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131712026","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
Revising Belief without Revealing Secrets 在不泄露秘密的情况下改变信念
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2012-03-05 DOI: 10.1007/978-3-642-28472-4_4
J. Biskup, Cornelia Tadros
{"title":"Revising Belief without Revealing Secrets","authors":"J. Biskup, Cornelia Tadros","doi":"10.1007/978-3-642-28472-4_4","DOIUrl":"https://doi.org/10.1007/978-3-642-28472-4_4","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133377740","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信