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

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

筛选
英文 中文
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL 关于异步 TeamLTL 和 HyperLTL 表达能力的备注
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2024-06-07 DOI: 10.1007/978-3-031-56940-1_15
J. Kontinen, Max Sandström, Jonni Virtema
{"title":"A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL","authors":"J. Kontinen, Max Sandström, Jonni Virtema","doi":"10.1007/978-3-031-56940-1_15","DOIUrl":"https://doi.org/10.1007/978-3-031-56940-1_15","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":" 38","pages":"275-286"},"PeriodicalIF":0.0,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141373337","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
Measuring Inconsistency in a General Information Space 测量通用信息空间中的不一致性
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_9
J. Grant, F. Parisi
{"title":"Measuring Inconsistency in a General Information Space","authors":"J. Grant, F. Parisi","doi":"10.1007/978-3-030-39951-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_9","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":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129051016","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
Functional Dependencies in Incomplete Databases with Limited Domains 有限域的不完整数据库中的功能依赖关系
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_1
Munqath Alattar, Attila Sali
{"title":"Functional Dependencies in Incomplete Databases with Limited Domains","authors":"Munqath Alattar, Attila Sali","doi":"10.1007/978-3-030-39951-1_1","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_1","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128077431","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
Strongly Minimal MapReduce Algorithms: A TeraSort Case Study 强最小MapReduce算法:TeraSort案例研究
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_18
Daniel Xia, Michael Simpson, Venkatesh Srinivasan, Alex Thomo
{"title":"Strongly Minimal MapReduce Algorithms: A TeraSort Case Study","authors":"Daniel Xia, Michael Simpson, Venkatesh Srinivasan, Alex Thomo","doi":"10.1007/978-3-030-39951-1_18","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_18","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114329666","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
Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood 社会巩固:对证据和贵族多重价值逻辑的理性信仰
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_4
Y. D. Santos
{"title":"Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood","authors":"Y. D. Santos","doi":"10.1007/978-3-030-39951-1_4","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_4","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133465676","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}
引用次数: 2
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings 关于蕴涵和重命名的条件知识库的标准形式
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_2
C. Beierle, J. Haldimann
{"title":"Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings","authors":"C. Beierle, J. Haldimann","doi":"10.1007/978-3-030-39951-1_2","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_2","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":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127145849","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}
引用次数: 2
Schema Optimisation Instead of (Local) Normalisation 模式优化而不是(局部)规范化
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_17
B. Thalheim
{"title":"Schema Optimisation Instead of (Local) Normalisation","authors":"B. Thalheim","doi":"10.1007/978-3-030-39951-1_17","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_17","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"2009 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127329128","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
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case 论类型论中的概率推理——交型案例
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_8
S. Ghilezan, J. Ivetic, Simona Kasterovic, Z. Ognjanovic, Nenad Savic
{"title":"Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case","authors":"S. Ghilezan, J. Ivetic, Simona Kasterovic, Z. Ognjanovic, Nenad Savic","doi":"10.1007/978-3-030-39951-1_8","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_8","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116184591","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
Realisability of Choreographies 编舞的可实现性
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_16
K. Schewe, Y. A. Ameur, Sarah Benyagoub
{"title":"Realisability of Choreographies","authors":"K. Schewe, Y. A. Ameur, Sarah Benyagoub","doi":"10.1007/978-3-030-39951-1_16","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_16","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":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130109820","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
Craig Interpolation of Epistemic Logics with Distributed Knowledge 分布式知识认知逻辑的克雷格插值
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2020-02-17 DOI: 10.1007/978-3-030-39951-1_13
R. Murai, Katsuhiko Sano
{"title":"Craig Interpolation of Epistemic Logics with Distributed Knowledge","authors":"R. Murai, Katsuhiko Sano","doi":"10.1007/978-3-030-39951-1_13","DOIUrl":"https://doi.org/10.1007/978-3-030-39951-1_13","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133168936","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
下一页 尾页
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学术官方微信