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

Description Logic, Theory Combination, and All That最新文献

筛选
英文 中文
Building and Combining Matching Algorithms 构建和组合匹配算法
Description Logic, Theory Combination, and All That Pub Date : 2019-06-01 DOI: 10.1007/978-3-030-22102-7_24
C. Ringeissen
{"title":"Building and Combining Matching Algorithms","authors":"C. Ringeissen","doi":"10.1007/978-3-030-22102-7_24","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_24","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127937568","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
Theory Combination: Beyond Equality Sharing 理论组合:超越平等共享
Description Logic, Theory Combination, and All That Pub Date : 2019-06-01 DOI: 10.1007/978-3-030-22102-7_3
M. P. Bonacina, P. Fontaine, C. Ringeissen, C. Tinelli
{"title":"Theory Combination: Beyond Equality Sharing","authors":"M. P. Bonacina, P. Fontaine, C. Ringeissen, C. Tinelli","doi":"10.1007/978-3-030-22102-7_3","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_3","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126556098","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
From Model Completeness to Verification of Data Aware Processes 从模型完整性到数据感知过程的验证
Description Logic, Theory Combination, and All That Pub Date : 2019-06-01 DOI: 10.1007/978-3-030-22102-7_10
Diego Calvanese, S. Ghilardi, Alessandro Gianola, M. Montali, Andrey Rivkin
{"title":"From Model Completeness to Verification of Data Aware Processes","authors":"Diego Calvanese, S. Ghilardi, Alessandro Gianola, M. Montali, Andrey Rivkin","doi":"10.1007/978-3-030-22102-7_10","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_10","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123020531","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}
引用次数: 26
Perceptual Context in Cognitive Hierarchies 认知层次中的知觉语境
Description Logic, Theory Combination, and All That Pub Date : 2018-01-07 DOI: 10.1007/978-3-030-22102-7_16
B. Hengst, M. Pagnucco, D. Rajaratnam, C. Sammut, M. Thielscher
{"title":"Perceptual Context in Cognitive Hierarchies","authors":"B. Hengst, M. Pagnucco, D. Rajaratnam, C. Sammut, M. Thielscher","doi":"10.1007/978-3-030-22102-7_16","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_16","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122693900","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
Asymmetric Unification and Disunification 不对称统一与不统一
Description Logic, Theory Combination, and All That Pub Date : 2017-06-15 DOI: 10.1007/978-3-030-22102-7_23
V. Ravishankar, Kimberly A. Gero, P. Narendran
{"title":"Asymmetric Unification and Disunification","authors":"V. Ravishankar, Kimberly A. Gero, P. Narendran","doi":"10.1007/978-3-030-22102-7_23","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_23","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126474759","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
Situation Calculus Meets Description Logics 情境演算符合描述逻辑
Description Logic, Theory Combination, and All That Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-22102-7_11
Jens Claßen, G. Lakemeyer, Benjamin Zarrieß
{"title":"Situation Calculus Meets Description Logics","authors":"Jens Claßen, G. Lakemeyer, Benjamin Zarrieß","doi":"10.1007/978-3-030-22102-7_11","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_11","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123116643","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
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools 自动化自动推理——两种通用自动推理工具的案例
Description Logic, Theory Combination, and All That Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-22102-7_29
Yoni Zohar, D. Tishkovsky, R. Schmidt, A. Zamansky
{"title":"Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools","authors":"Yoni Zohar, D. Tishkovsky, R. Schmidt, A. Zamansky","doi":"10.1007/978-3-030-22102-7_29","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_29","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129869248","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
On Bounded-Memory Stream Data Processing with Description Logics 用描述逻辑处理有界内存流数据
Description Logic, Theory Combination, and All That Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-22102-7_30
Ö. Özçep, Ralf Möller
{"title":"On Bounded-Memory Stream Data Processing with Description Logics","authors":"Ö. Özçep, Ralf Möller","doi":"10.1007/978-3-030-22102-7_30","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_30","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123355501","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
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna 本体中介查询的数据复杂性检验:非统一csp和Polyanna的案例研究
Description Logic, Theory Combination, and All That Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-22102-7_15
Olga Gerasimova, S. Kikot, M. Zakharyaschev
{"title":"Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna","authors":"Olga Gerasimova, S. Kikot, M. Zakharyaschev","doi":"10.1007/978-3-030-22102-7_15","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_15","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133070542","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
Reasoning with Justifiable Exceptions in Eℒ_bot Contextualized Knowledge Repositories E - __ bot情境化知识库中合理异常的推理
Description Logic, Theory Combination, and All That Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-22102-7_5
Loris Bozzato, Thomas Eiter, L. Serafini
{"title":"Reasoning with Justifiable Exceptions in Eℒ_bot Contextualized Knowledge Repositories","authors":"Loris Bozzato, Thomas Eiter, L. Serafini","doi":"10.1007/978-3-030-22102-7_5","DOIUrl":"https://doi.org/10.1007/978-3-030-22102-7_5","url":null,"abstract":"","PeriodicalId":270692,"journal":{"name":"Description Logic, Theory Combination, and All That","volume":"2 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131438220","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}
引用次数: 7
下一页 尾页
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学术官方微信