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

European Conference on Logics in Artificial Intelligence最新文献

筛选
英文 中文
Axiomatising Logics with Separating Conjunction and Modalities 分离连接与模态的公理化逻辑
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_45
Stephane Demri, Raul Fervari, Alessio Mansutti
{"title":"Axiomatising Logics with Separating Conjunction and Modalities","authors":"Stephane Demri, Raul Fervari, Alessio Mansutti","doi":"10.1007/978-3-030-19570-0_45","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_45","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130071345","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
Computational Complexity of Core Fragments of Modal Logics T, K4, and S4 模态逻辑核心片段的计算复杂度T, K4，和S4
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_48
P. Walega
{"title":"Computational Complexity of Core Fragments of Modal Logics T, K4, and S4","authors":"P. Walega","doi":"10.1007/978-3-030-19570-0_48","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_48","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130480033","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
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance acos2:具有子类型和继承的模块化ACU泛化的高性能系统
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_11
M. Alpuente, D. Ballis, A. Cuenca-Ortega, Santiago Escobar, J. Meseguer
{"title":"ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance","authors":"M. Alpuente, D. Ballis, A. Cuenca-Ortega, Santiago Escobar, J. Meseguer","doi":"10.1007/978-3-030-19570-0_11","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_11","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116770551","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
Manipulating Skeptical and Credulous Consequences When Merging Beliefs 在合并信仰时操纵怀疑和轻信的结果
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_9
Adrian Haret, J. Wallner
{"title":"Manipulating Skeptical and Credulous Consequences When Merging Beliefs","authors":"Adrian Haret, J. Wallner","doi":"10.1007/978-3-030-19570-0_9","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_9","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127997500","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
Lower Bound Founded Logic of Here-and-There 这里和那里的下界建立逻辑
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_34
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, S. Schellhorn
{"title":"Lower Bound Founded Logic of Here-and-There","authors":"Pedro Cabalar, Jorge Fandinno, Torsten Schaub, S. Schellhorn","doi":"10.1007/978-3-030-19570-0_34","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_34","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114820133","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
Typed Meta-interpretive Learning of Logic Programs 逻辑程序的类型元解释学习
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_13
Rolf Morel, Andrew Cropper, C. Ong
{"title":"Typed Meta-interpretive Learning of Logic Programs","authors":"Rolf Morel, Andrew Cropper, C. Ong","doi":"10.1007/978-3-030-19570-0_13","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_13","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125374248","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
Computing Minimal Projection Modules for ELH^r -Terminologies ELH^r术语的最小投影模块计算
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_23
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
{"title":"Computing Minimal Projection Modules for ELH^r -Terminologies","authors":"Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther","doi":"10.1007/978-3-030-19570-0_23","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_23","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127084165","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
Abstraction for Non-ground Answer Set Programs 非接地答案集程序的抽象
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_38
Z. G. Saribatur, P. Schüller, Thomas Eiter
{"title":"Abstraction for Non-ground Answer Set Programs","authors":"Z. G. Saribatur, P. Schüller, Thomas Eiter","doi":"10.1007/978-3-030-19570-0_38","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_38","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114912016","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}
引用次数: 19
The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs Hexlite求解器- HEX程序的轻量级和高效评估
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_39
P. Schüller
{"title":"The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs","authors":"P. Schüller","doi":"10.1007/978-3-030-19570-0_39","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_39","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114803051","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
Well-Foundedness in Weighted Argumentation Frameworks 加权论证框架中的良好基础
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_5
Stefano Bistarelli, Francesco Santini
{"title":"Well-Foundedness in Weighted Argumentation Frameworks","authors":"Stefano Bistarelli, Francesco Santini","doi":"10.1007/978-3-030-19570-0_5","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_5","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121131335","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
首页 上一页 下一页 尾页
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学术官方微信