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

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

筛选
英文 中文
A Logic for Non-deterministic Parallel Abstract State Machines 一种非确定性并行抽象状态机的逻辑
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2016-03-07 DOI: 10.1007/978-3-319-30024-5_18
Flavio Ferrarotti, K. Schewe, Loredana Tec, Qing Wang
{"title":"A Logic for Non-deterministic Parallel Abstract State Machines","authors":"Flavio Ferrarotti, K. Schewe, Loredana Tec, Qing Wang","doi":"10.1007/978-3-319-30024-5_18","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_18","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":"2016-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125898280","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
The Challenge of Optional Matching in SPARQL SPARQL中可选匹配的挑战
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2016-03-07 DOI: 10.1007/978-3-319-30024-5_10
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, R. Pichler, M. Simkus, Sebastian Skritek
{"title":"The Challenge of Optional Matching in SPARQL","authors":"Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, R. Pichler, M. Simkus, Sebastian Skritek","doi":"10.1007/978-3-319-30024-5_10","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_10","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126826067","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
Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes 基于密度的相关属性挖掘发现重叠定量关联
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2016-03-07 DOI: 10.1007/978-3-319-30024-5_8
T. Brussel, Emmanuel Müller, Bart Goethals
{"title":"Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes","authors":"T. Brussel, Emmanuel Müller, Bart Goethals","doi":"10.1007/978-3-319-30024-5_8","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_8","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117198323","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
Systems and Implementations for Solving Reasoning Problems in Conditional Logics 解决条件逻辑推理问题的系统与实现
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2016-03-07 DOI: 10.1007/978-3-319-30024-5_5
C. Beierle
{"title":"Systems and Implementations for Solving Reasoning Problems in Conditional Logics","authors":"C. Beierle","doi":"10.1007/978-3-319-30024-5_5","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_5","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124851142","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
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach 数据库变更下的查询维护:基于统一逻辑的方法
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2016-03-07 DOI: 10.1007/978-3-319-30024-5_11
E. Ravve
{"title":"Maintenance of Queries Under Database Changes: A Unified Logic Based Approach","authors":"E. Ravve","doi":"10.1007/978-3-319-30024-5_11","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_11","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"252 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115628572","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
Relational Complexity and Higher Order Logics 关系复杂性和高阶逻辑
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2016-03-07 DOI: 10.1007/978-3-319-30024-5_17
José María Turull-Torres
{"title":"Relational Complexity and Higher Order Logics","authors":"José María Turull-Torres","doi":"10.1007/978-3-319-30024-5_17","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_17","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":"2016-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128911445","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
The Complexity of Non-Iterated Probabilistic Justification Logic 非迭代概率证明逻辑的复杂性
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2015-07-20 DOI: 10.1007/978-3-319-30024-5_16
Ioannis Kokkinis
{"title":"The Complexity of Non-Iterated Probabilistic Justification Logic","authors":"Ioannis Kokkinis","doi":"10.1007/978-3-319-30024-5_16","DOIUrl":"https://doi.org/10.1007/978-3-319-30024-5_16","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114330987","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
The Equational Approach to Contrary-to-duty Obligations 反义务义务的平等处理
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2014-03-03 DOI: 10.1007/978-3-319-04939-7_1
D. Gabbay
{"title":"The Equational Approach to Contrary-to-duty Obligations","authors":"D. Gabbay","doi":"10.1007/978-3-319-04939-7_1","DOIUrl":"https://doi.org/10.1007/978-3-319-04939-7_1","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121194441","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
View-Based Tree-Language Rewritings for XML 面向XML的基于视图的树语言重写
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2014-03-03 DOI: 10.1007/978-3-319-04939-7_13
L. Lakshmanan, Alex Thomo
{"title":"View-Based Tree-Language Rewritings for XML","authors":"L. Lakshmanan, Alex Thomo","doi":"10.1007/978-3-319-04939-7_13","DOIUrl":"https://doi.org/10.1007/978-3-319-04939-7_13","url":null,"abstract":"","PeriodicalId":430611,"journal":{"name":"International Symposium on Foundations of Information and Knowledge Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132998765","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
EHC: Non-parametric Editing by Finding Homogeneous Clusters EHC:通过寻找同构聚类进行非参数编辑
International Symposium on Foundations of Information and Knowledge Systems Pub Date : 2014-03-03 DOI: 10.1007/978-3-319-04939-7_14
Stefanos Ougiaroglou, Georgios Evangelidis
{"title":"EHC: Non-parametric Editing by Finding Homogeneous Clusters","authors":"Stefanos Ougiaroglou, Georgios Evangelidis","doi":"10.1007/978-3-319-04939-7_14","DOIUrl":"https://doi.org/10.1007/978-3-319-04939-7_14","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":"2014-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125844454","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学术文献互助群
群 号：604180095
Book学术官方微信