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

International Conference on Logic Programming and Non-Monotonic Reasoning最新文献

筛选
英文 中文
Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies 部分预定轻量级本体的不一致处理方法
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_16
Sihem Belabbes, S. Benferhat, J. Chomicki
{"title":"Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies","authors":"Sihem Belabbes, S. Benferhat, J. Chomicki","doi":"10.1007/978-3-030-20528-7_16","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_16","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125485569","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
Enhancing DLV for Large-Scale Reasoning 增强DLV用于大规模推理
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_23
N. Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, R. Costabile, A. Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, M. Manna, S. Perri, Kristian Reale, F. Ricca, P. Veltri, J. Zangari
{"title":"Enhancing DLV for Large-Scale Reasoning","authors":"N. Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, R. Costabile, A. Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, M. Manna, S. Perri, Kristian Reale, F. Ricca, P. Veltri, J. Zangari","doi":"10.1007/978-3-030-20528-7_23","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_23","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126455023","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}
引用次数: 8
A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur 三值默认逻辑的序列型演算，或:Tweety与Quartum Non Datur
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_13
Sopo Pkhakadze, H. Tompits
{"title":"A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur","authors":"Sopo Pkhakadze, H. Tompits","doi":"10.1007/978-3-030-20528-7_13","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_13","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115711400","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
Assessing Arguments with Schemes and Fallacies 用计划和谬误评估论证
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_6
Pierre Bisquert, Florence Dupin de Saint-Cyr -- Bannay, P. Besnard
{"title":"Assessing Arguments with Schemes and Fallacies","authors":"Pierre Bisquert, Florence Dupin de Saint-Cyr -- Bannay, P. Besnard","doi":"10.1007/978-3-030-20528-7_6","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_6","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"181 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121335696","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
Declarative Local Search for Predicate Logic 谓词逻辑的声明性局部搜索
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_25
Tu-San Pham, Jo Devriendt, P. D. Causmaecker
{"title":"Declarative Local Search for Predicate Logic","authors":"Tu-San Pham, Jo Devriendt, P. D. Causmaecker","doi":"10.1007/978-3-030-20528-7_25","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_25","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122492398","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
Towards Dynamic Answer Set Programming over Finite Traces 有限迹上的动态答案集规划
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_12
Pedro Cabalar, Martín Diéguez, Torsten Schaub
{"title":"Towards Dynamic Answer Set Programming over Finite Traces","authors":"Pedro Cabalar, Martín Diéguez, Torsten Schaub","doi":"10.1007/978-3-030-20528-7_12","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_12","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"301 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122742229","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
Pruning External Minimality Checking for ASP Using Semantic Dependencies 使用语义依赖为ASP修剪外部最小性检查
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_24
Thomas Eiter, Tobias Kaminski
{"title":"Pruning External Minimality Checking for ASP Using Semantic Dependencies","authors":"Thomas Eiter, Tobias Kaminski","doi":"10.1007/978-3-030-20528-7_24","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_24","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115149188","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
telingo = ASP + Time telingo = ASP + Time
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_19
Pedro Cabalar, R. Kaminski, Philip Morkisch, Torsten Schaub
{"title":"telingo = ASP + Time","authors":"Pedro Cabalar, R. Kaminski, Philip Morkisch, Torsten Schaub","doi":"10.1007/978-3-030-20528-7_19","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_19","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122318765","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
Verifying Strong Equivalence of Programs in the Input Language of gringo 外国语言输入程序的强等价性验证
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_20
V. Lifschitz, Patrick Lühne, Torsten Schaub
{"title":"Verifying Strong Equivalence of Programs in the Input Language of gringo","authors":"V. Lifschitz, Patrick Lühne, Torsten Schaub","doi":"10.1007/978-3-030-20528-7_20","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_20","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134377749","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}
引用次数: 16
Internet Routing and Non-monotonic Reasoning 互联网路由和非单调推理
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_5
Anduo Wang, Zhijia Chen
{"title":"Internet Routing and Non-monotonic Reasoning","authors":"Anduo Wang, Zhijia Chen","doi":"10.1007/978-3-030-20528-7_5","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_5","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129996922","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
首页 上一页 下一页 尾页
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学术官方微信