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

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

筛选
英文 中文
Answer Set Solving with Bounded Treewidth Revisited 再论有界树宽的答案集求解
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2017-02-09 DOI: 10.1007/978-3-319-61660-5_13
J. Fichte, Markus Hecher, Michael Morak, S. Woltran
{"title":"Answer Set Solving with Bounded Treewidth Revisited","authors":"J. Fichte, Markus Hecher, Michael Morak, S. Woltran","doi":"10.1007/978-3-319-61660-5_13","DOIUrl":"https://doi.org/10.1007/978-3-319-61660-5_13","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"16 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126964567","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}
引用次数: 38
Vicious Circle Principle and Formation of Sets in ASP Based Languages 基于ASP的语言中集合的恶性循环原理及形成
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2016-08-29 DOI: 10.1007/978-3-319-61660-5_14
M. Gelfond, Yuanlin Zhang
{"title":"Vicious Circle Principle and Formation of Sets in ASP Based Languages","authors":"M. Gelfond, Yuanlin Zhang","doi":"10.1007/978-3-319-61660-5_14","DOIUrl":"https://doi.org/10.1007/978-3-319-61660-5_14","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":"2016-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121954774","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}
引用次数: 6
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis “添加另一个相同高度的蓝色堆叠!”:基于ASP的计划和计划失败分析
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_11
Chitta Baral, Tran Cao Son
{"title":"\"Add Another Blue Stack of the Same Height!\": ASP Based Planning and Plan Failure Analysis","authors":"Chitta Baral, Tran Cao Son","doi":"10.1007/978-3-319-23264-5_11","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_11","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"31 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":"116679726","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
Infinitary Equilibrium Logic and Strong Equivalence 无穷平衡逻辑和强等价
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_33
Amelia Harrison, V. Lifschitz, D. Pearce, A. Valverde
{"title":"Infinitary Equilibrium Logic and Strong Equivalence","authors":"Amelia Harrison, V. Lifschitz, D. Pearce, A. Valverde","doi":"10.1007/978-3-319-23264-5_33","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_33","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"38 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":"117113455","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
On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM 论两种模块化动作语言之间的关系:从MAD到ALM的翻译
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_34
Daniela Inclezan
{"title":"On the Relationship Between Two Modular Action Languages: A Translation from MAD into ALM ALM","authors":"Daniela Inclezan","doi":"10.1007/978-3-319-23264-5_34","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_34","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"35 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":"121089857","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
Compacting Boolean Formulae for Inference in Probabilistic Logic Programming 用于概率逻辑规划推理的布尔压缩公式
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_35
Theofrastos Mantadelis, D. Shterionov, Gerda Janssens
{"title":"Compacting Boolean Formulae for Inference in Probabilistic Logic Programming","authors":"Theofrastos Mantadelis, D. Shterionov, Gerda Janssens","doi":"10.1007/978-3-319-23264-5_35","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_35","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":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128509622","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
ASP Solving for Expanding Universes 扩展宇宙的ASP求解
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_30
M. Gebser, T. Janhunen, H. Jost, R. Kaminski, Torsten Schaub
{"title":"ASP Solving for Expanding Universes","authors":"M. Gebser, T. Janhunen, H. Jost, R. Kaminski, Torsten Schaub","doi":"10.1007/978-3-319-23264-5_30","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_30","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":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121197446","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
Advances in WASP WASP研究进展
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_5
Mario Alviano, Carmine Dodaro, N. Leone, F. Ricca
{"title":"Advances in WASP","authors":"Mario Alviano, Carmine Dodaro, N. Leone, F. Ricca","doi":"10.1007/978-3-319-23264-5_5","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_5","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":"2015-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133446061","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}
引用次数: 119
Combining Heuristics for Configuration Problems Using 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_32
M. Gebser, A. Ryabokon, Gottfried Schenner
{"title":"Combining Heuristics for Configuration Problems Using Answer Set Programming","authors":"M. Gebser, A. Ryabokon, Gottfried Schenner","doi":"10.1007/978-3-319-23264-5_32","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_32","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"170 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":"117283434","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}
引用次数: 14
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses 数字取证证据分析:一种生成调查假设的答案集编程方法
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_21
S. Costantini, Giovanni De Gasperis, R. Olivieri
{"title":"Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses","authors":"S. Costantini, Giovanni De Gasperis, R. Olivieri","doi":"10.1007/978-3-319-23264-5_21","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_21","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"2 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":"129634941","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
首页 上一页 下一页 尾页
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学术官方微信