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

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

筛选
英文 中文
Syntactic ASP Forgetting with Forks 语法的ASP遗忘与叉
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2023-10-01 DOI: 10.1007/978-3-031-15707-3_1
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, D. Pearce, Gilberto Pérez, Concepción Vidal Martín
{"title":"Syntactic ASP Forgetting with Forks","authors":"Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, D. Pearce, Gilberto Pérez, Concepción Vidal Martín","doi":"10.1007/978-3-031-15707-3_1","DOIUrl":"https://doi.org/10.1007/978-3-031-15707-3_1","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121804820","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
Epistemic Logic Programs: A Study of Some Properties 认知逻辑程序:若干性质的研究
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2023-09-28 DOI: 10.1007/978-3-031-15707-3_11
Stefania Costantini, A. Formisano
{"title":"Epistemic Logic Programs: A Study of Some Properties","authors":"Stefania Costantini, A. Formisano","doi":"10.1007/978-3-031-15707-3_11","DOIUrl":"https://doi.org/10.1007/978-3-031-15707-3_11","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126464376","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
SHACL: A Description Logic in Disguise acl:一种伪装的描述逻辑
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2021-08-13 DOI: 10.1007/978-3-031-15707-3_7
B. Bogaerts, Maxim Jakubowski, J. V. D. Bussche
{"title":"SHACL: A Description Logic in Disguise","authors":"B. Bogaerts, Maxim Jakubowski, J. V. D. Bussche","doi":"10.1007/978-3-031-15707-3_7","DOIUrl":"https://doi.org/10.1007/978-3-031-15707-3_7","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131680869","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
Evaluation of Disjunctive Programs in WASP WASP中析取程序的评价
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_18
Mario Alviano, Giovanni Amendola, Carmine Dodaro, N. Leone, M. Maratea, F. Ricca
{"title":"Evaluation of Disjunctive Programs in WASP","authors":"Mario Alviano, Giovanni Amendola, Carmine Dodaro, N. Leone, M. Maratea, F. Ricca","doi":"10.1007/978-3-030-20528-7_18","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_18","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"35 10 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":"116651530","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}
引用次数: 42
Train Scheduling with Hybrid ASP 基于混合ASP的列车调度
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_1
D. Abels, Julian Jordi, M. Ostrowski, Torsten Schaub, Ambra Toletti, P. Wanko
{"title":"Train Scheduling with Hybrid ASP","authors":"D. Abels, Julian Jordi, M. Ostrowski, Torsten Schaub, Ambra Toletti, P. Wanko","doi":"10.1007/978-3-030-20528-7_1","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_1","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"62 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":"128891216","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}
引用次数: 28
C-ASP: Continuous ASP-Based Reasoning over RDF Streams C-ASP: RDF流上基于asp的连续推理
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_4
Thu-Le Pham, M. Ali, A. Mileo
{"title":"C-ASP: Continuous ASP-Based Reasoning over RDF Streams","authors":"Thu-Le Pham, M. Ali, A. Mileo","doi":"10.1007/978-3-030-20528-7_4","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_4","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"26 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":"126752394","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
The Return of xorro xorro的回归
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_21
Flavio Everardo, T. Janhunen, R. Kaminski, Torsten Schaub
{"title":"The Return of xorro","authors":"Flavio Everardo, T. Janhunen, R. Kaminski, Torsten Schaub","doi":"10.1007/978-3-030-20528-7_21","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_21","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"26 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":"115313221","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
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 基于asp的双臂机器人铰接物体操纵框架
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_3
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, N. Leone, M. Maratea, F. Mastrogiovanni, M. Vallati
{"title":"An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots","authors":"Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, N. Leone, M. Maratea, F. Mastrogiovanni, M. Vallati","doi":"10.1007/978-3-030-20528-7_3","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_3","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"28 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":"122977486","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
Diagnosing Data Pipeline Failures Using Action Languages 使用动作语言诊断数据管道故障
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_14
J. Bomanson, A. Brik
{"title":"Diagnosing Data Pipeline Failures Using Action Languages","authors":"J. Bomanson, A. Brik","doi":"10.1007/978-3-030-20528-7_14","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_14","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"45 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":"116654997","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
Argumentation-Based Explanations for Answer Sets Using ADF 使用ADF的基于论证的答案集解释
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2019-06-03 DOI: 10.1007/978-3-030-20528-7_8
Lena Rolf, G. Kern-Isberner, G. Brewka
{"title":"Argumentation-Based Explanations for Answer Sets Using ADF","authors":"Lena Rolf, G. Kern-Isberner, G. Brewka","doi":"10.1007/978-3-030-20528-7_8","DOIUrl":"https://doi.org/10.1007/978-3-030-20528-7_8","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"8 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":"125376117","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
下一页 尾页
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学术官方微信