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

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

筛选
英文 中文
Solving Disjunctive Fuzzy Answer Set Programs 解析取模糊答案集程序
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_38
Mushthofa Mushthofa, S. Schockaert, M. D. Cock
{"title":"Solving Disjunctive Fuzzy Answer Set Programs","authors":"Mushthofa Mushthofa, S. Schockaert, M. D. Cock","doi":"10.1007/978-3-319-23264-5_38","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_38","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":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134501674","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
Implementing Preferences with asprin 用阿司匹林实现首选项
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_15
G. Brewka, J. Delgrande, J. Romero, Torsten Schaub
{"title":"Implementing Preferences with asprin","authors":"G. Brewka, J. Delgrande, J. Romero, Torsten Schaub","doi":"10.1007/978-3-319-23264-5_15","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_15","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129724485","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
Performance Tuning in Answer Set Programming 答案集编程中的性能调整
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_17
Matthew Buddenhagen, Y. Lierler
{"title":"Performance Tuning in Answer Set Programming","authors":"Matthew Buddenhagen, Y. Lierler","doi":"10.1007/978-3-319-23264-5_17","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_17","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":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130684151","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
Clause-Learning for Modular Systems 模块化系统的子句学习
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_37
D. Mitchell, E. Ternovska
{"title":"Clause-Learning for Modular Systems","authors":"D. Mitchell, E. Ternovska","doi":"10.1007/978-3-319-23264-5_37","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_37","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127383478","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
Progress in clasp Series 3 扣环系列3的进展
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_31
M. Gebser, R. Kaminski, B. Kaufmann, J. Romero, Torsten Schaub
{"title":"Progress in clasp Series 3","authors":"M. Gebser, R. Kaminski, B. Kaufmann, J. Romero, Torsten Schaub","doi":"10.1007/978-3-319-23264-5_31","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_31","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123555105","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}
引用次数: 59
Automated Inference of Rules with Exception from Past Legal Cases Using ASP 基于ASP的历史判例例外规则自动推理
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_8
Duangtida Athakravi, K. Satoh, Mark Law, K. Broda, A. Russo
{"title":"Automated Inference of Rules with Exception from Past Legal Cases Using ASP","authors":"Duangtida Athakravi, K. Satoh, Mark Law, K. Broda, A. Russo","doi":"10.1007/978-3-319-23264-5_8","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_8","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128886387","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
Mobile Robot Planning Using Action Language BC with an Abstraction Hierarchy 基于动作语言BC的移动机器人规划与抽象层次
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_42
Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, P. Stone
{"title":"Mobile Robot Planning Using Action Language BC with an Abstraction Hierarchy","authors":"Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, P. Stone","doi":"10.1007/978-3-319-23264-5_42","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_42","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116394157","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
A New Computational Logic Approach to Reason with Conditionals 条件推理的一种新的计算逻辑方法
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_23
Emmanuelle-Anna Dietz, Steffen Hölldobler
{"title":"A New Computational Logic Approach to Reason with Conditionals","authors":"Emmanuelle-Anna Dietz, Steffen Hölldobler","doi":"10.1007/978-3-319-23264-5_23","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_23","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116598575","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}
引用次数: 24
Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences 扩展摘要:具有偏好的多上下文系统
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_46
Tiep Le
{"title":"Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences","authors":"Tiep Le","doi":"10.1007/978-3-319-23264-5_46","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_46","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123066100","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
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments 分布式异构环境下的非单调推理知识获取
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_20
S. Costantini
{"title":"Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments","authors":"S. Costantini","doi":"10.1007/978-3-319-23264-5_20","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_20","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133748070","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
首页 上一页 下一页 尾页
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学术官方微信