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

European Conference on Logics in Artificial Intelligence最新文献

筛选
英文 中文
AGM Meets Abstract Argumentation: Contraction for Dung Frameworks AGM满足抽象论证:压缩粪框架
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_3
Ringo Baumann, Felix Linker
{"title":"AGM Meets Abstract Argumentation: Contraction for Dung Frameworks","authors":"Ringo Baumann, Felix Linker","doi":"10.1007/978-3-030-19570-0_3","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_3","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"674 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":"117118126","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
Taking Defeasible Entailment Beyond Rational Closure 超越理性封闭的可失败蕴涵
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_12
Giovanni Casini, T. Meyer, I. Varzinczak
{"title":"Taking Defeasible Entailment Beyond Rational Closure","authors":"Giovanni Casini, T. Meyer, I. Varzinczak","doi":"10.1007/978-3-030-19570-0_12","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_12","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":"114245867","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}
引用次数: 18
Memory-Saving Evaluation Plans for Datalog 数据目录的内存节省评估计划
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_29
Carlo Allocca, R. Costabile, A. Fiorentino, S. Perri, J. Zangari
{"title":"Memory-Saving Evaluation Plans for Datalog","authors":"Carlo Allocca, R. Costabile, A. Fiorentino, S. Perri, J. Zangari","doi":"10.1007/978-3-030-19570-0_29","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_29","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"41 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":"121564179","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
Epistemic Answer Set Programming 认知答案集规划
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_40
Ezgi Iraz Su
{"title":"Epistemic Answer Set Programming","authors":"Ezgi Iraz Su","doi":"10.1007/978-3-030-19570-0_40","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_40","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"5 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":"125735870","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
Extending ALC with the Power-Set Construct 用幂集构造扩展ALC
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_25
Laura Giordano, A. Policriti
{"title":"Extending ALC with the Power-Set Construct","authors":"Laura Giordano, A. Policriti","doi":"10.1007/978-3-030-19570-0_25","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_25","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"44 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":"133153580","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
Advancements in Resource-Driven Substructural Defeasible Logic 资源驱动子结构可否定逻辑研究进展
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_16
Francesco Olivieri, Guido Governatori, M. Cristani
{"title":"Advancements in Resource-Driven Substructural Defeasible Logic","authors":"Francesco Olivieri, Guido Governatori, M. Cristani","doi":"10.1007/978-3-030-19570-0_16","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_16","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"189 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":"115599422","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
Characterising Relativised Strong Equivalence with Projection 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_36
Tobias Geibinger, H. Tompits
{"title":"Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs","authors":"Tobias Geibinger, H. Tompits","doi":"10.1007/978-3-030-19570-0_36","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_36","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"1 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":"128353524","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
A Logic-Based Question Answering System for Cultural Heritage 基于逻辑的文化遗产问答系统
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_35
Bernardo Cuteri, Kristian Reale, F. Ricca
{"title":"A Logic-Based Question Answering System for Cultural Heritage","authors":"Bernardo Cuteri, Kristian Reale, F. Ricca","doi":"10.1007/978-3-030-19570-0_35","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_35","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"11 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":"128481218","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}
引用次数: 13
Vadalog: Recent Advances and Applications Vadalog:最新进展和应用
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_2
G. Gottlob, Andreas Pieris, Emanuel Sallinger
{"title":"Vadalog: Recent Advances and Applications","authors":"G. Gottlob, Andreas Pieris, Emanuel Sallinger","doi":"10.1007/978-3-030-19570-0_2","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_2","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"1 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":"130025160","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
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability 统一推理和核心导向搜索最大可满足性
European Conference on Logics in Artificial Intelligence Pub Date : 2019-05-07 DOI: 10.1007/978-3-030-19570-0_19
J. Berg, M. Järvisalo
{"title":"Unifying Reasoning and Core-Guided Search for Maximum Satisfiability","authors":"J. Berg, M. Järvisalo","doi":"10.1007/978-3-030-19570-0_19","DOIUrl":"https://doi.org/10.1007/978-3-030-19570-0_19","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"22 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":"124993461","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学术文献互助群
群 号：481959085
Book学术官方微信