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

European Conference on Logics in Artificial Intelligence最新文献

筛选
英文 中文
Metabolic Pathways as Temporal Logic Programs 代谢途径作为时间逻辑程序
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_1
J. Alliot, Martín Diéguez, L. F. D. Cerro
{"title":"Metabolic Pathways as Temporal Logic Programs","authors":"J. Alliot, Martín Diéguez, L. F. D. Cerro","doi":"10.1007/978-3-319-48758-8_1","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_1","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126699904","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
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis 容错查询回答:合理性属性和计算复杂度分析
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_5
Jean-François Baget, S. Benferhat, Zied Bouraoui, Madalina Croitoru, M. Mugnier, Odile Papini, Swan Rocher, Karim Tabia
{"title":"Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis","authors":"Jean-François Baget, S. Benferhat, Zied Bouraoui, Madalina Croitoru, M. Mugnier, Odile Papini, Swan Rocher, Karim Tabia","doi":"10.1007/978-3-319-48758-8_5","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_5","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131543527","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}
引用次数: 17
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects 利用上下文知识进行视觉对象混合分类
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_15
Thomas Eiter, Tobias Kaminski
{"title":"Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects","authors":"Thomas Eiter, Tobias Kaminski","doi":"10.1007/978-3-319-48758-8_15","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_15","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133184559","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
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks 动态论证框架的确定性扩展增量计算
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_19
S. Greco, F. Parisi
{"title":"Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks","authors":"S. Greco, F. Parisi","doi":"10.1007/978-3-319-48758-8_19","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_19","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"298 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116260999","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
Standard Sequent Calculi for Lewis' Logics of Counterfactuals 路易斯反事实逻辑的标准序列演算
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_18
Marianna Girlando, Björn Lellmann, N. Olivetti, G. Pozzato
{"title":"Standard Sequent Calculi for Lewis' Logics of Counterfactuals","authors":"Marianna Girlando, Björn Lellmann, N. Olivetti, G. Pozzato","doi":"10.1007/978-3-319-48758-8_18","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_18","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116458127","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}
引用次数: 21
Introducing Role Defeasibility in Description Logics 引入描述逻辑中的角色可撤销性
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_12
K. Britz, I. Varzinczak
{"title":"Introducing Role Defeasibility in Description Logics","authors":"K. Britz, I. Varzinczak","doi":"10.1007/978-3-319-48758-8_12","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_12","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"259 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123088951","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}
引用次数: 31
Prompt Interval Temporal Logic 提示间隔时间逻辑
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_14
Dario Della Monica, A. Montanari, A. Murano, P. Sala
{"title":"Prompt Interval Temporal Logic","authors":"Dario Della Monica, A. Montanari, A. Murano, P. Sala","doi":"10.1007/978-3-319-48758-8_14","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_14","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116089272","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
Forgetting in ASP: The Forgotten Properties ASP中的遗忘:遗忘属性
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_37
Ricardo Gonçalves, Matthias Knorr, João Leite
{"title":"Forgetting in ASP: The Forgotten Properties","authors":"Ricardo Gonçalves, Matthias Knorr, João Leite","doi":"10.1007/978-3-319-48758-8_37","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_37","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129483192","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
Efficient Reasoning for Inconsistent Horn Formulae 不一致角公式的有效推理
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_22
Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía, R. Peñaloza
{"title":"Efficient Reasoning for Inconsistent Horn Formulae","authors":"Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía, R. Peñaloza","doi":"10.1007/978-3-319-48758-8_22","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_22","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124266642","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}
引用次数: 12
Approximate Unification in the Description Logic FL_0 描述逻辑FL_0中的近似统一
European Conference on Logics in Artificial Intelligence Pub Date : 2016-11-09 DOI: 10.1007/978-3-319-48758-8_4
F. Baader, Pavlos Marantidis, A. Okhotin
{"title":"Approximate Unification in the Description Logic FL_0","authors":"F. Baader, Pavlos Marantidis, A. Okhotin","doi":"10.1007/978-3-319-48758-8_4","DOIUrl":"https://doi.org/10.1007/978-3-319-48758-8_4","url":null,"abstract":"","PeriodicalId":225087,"journal":{"name":"European Conference on Logics in Artificial Intelligence","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127092601","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
首页 上一页 下一页 尾页
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学术官方微信