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

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

筛选
英文 中文
A Framework for Goal-Directed Query Evaluation with Negation 带有否定的目标查询求值框架
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_14
Stefan Brass
{"title":"A Framework for Goal-Directed Query Evaluation with Negation","authors":"Stefan Brass","doi":"10.1007/978-3-319-23264-5_14","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_14","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"72 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":"121518898","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
Interactive Debugging of Non-ground ASP Programs 非地面ASP程序的交互式调试
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-09-27 DOI: 10.1007/978-3-319-23264-5_24
Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, F. Ricca, Konstantin Schekotihin
{"title":"Interactive Debugging of Non-ground ASP Programs","authors":"Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, F. Ricca, Konstantin Schekotihin","doi":"10.1007/978-3-319-23264-5_24","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_24","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"19 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":"114898261","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
OOASP: Connecting Object-Oriented and Logic Programming OOASP:连接面向对象和逻辑编程
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2015-08-12 DOI: 10.1007/978-3-319-23264-5_28
Andreas A. Falkner, A. Ryabokon, Gottfried Schenner, Konstantin Schekotihin
{"title":"OOASP: Connecting Object-Oriented and Logic Programming","authors":"Andreas A. Falkner, A. Ryabokon, Gottfried Schenner, Konstantin Schekotihin","doi":"10.1007/978-3-319-23264-5_28","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_28","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128379568","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
The Design of the Sixth Answer Set Programming Competition - - Report - 第六届答案集编程大赛的设计——报告
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2014-05-14 DOI: 10.1007/978-3-319-23264-5_44
M. Gebser, M. Maratea, F. Ricca
{"title":"The Design of the Sixth Answer Set Programming Competition - - Report -","authors":"M. Gebser, M. Maratea, F. Ricca","doi":"10.1007/978-3-319-23264-5_44","DOIUrl":"https://doi.org/10.1007/978-3-319-23264-5_44","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"371 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124651478","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}
引用次数: 40
Towards Answer Set Programming with Sorts 基于排序的答案集规划
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2013-09-15 DOI: 10.1007/978-3-642-40564-8_14
Evgenii Balai, M. Gelfond, Yuanlin Zhang
{"title":"Towards Answer Set Programming with Sorts","authors":"Evgenii Balai, M. Gelfond, Yuanlin Zhang","doi":"10.1007/978-3-642-40564-8_14","DOIUrl":"https://doi.org/10.1007/978-3-642-40564-8_14","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129579409","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}
引用次数: 57
Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming 使用CYK算法和答案集编程的灵活组合范畴语法解析
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2013-09-15 DOI: 10.1007/978-3-642-40564-8_49
P. Schüller
{"title":"Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming","authors":"P. Schüller","doi":"10.1007/978-3-642-40564-8_49","DOIUrl":"https://doi.org/10.1007/978-3-642-40564-8_49","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129865043","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}
引用次数: 9
Implementing Informal Semantics of ASP ASP非正式语义的实现
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2013-09-15 DOI: 10.1007/978-3-642-40564-8_43
A. Mikitiuk, M. Truszczynski
{"title":"Implementing Informal Semantics of ASP","authors":"A. Mikitiuk, M. Truszczynski","doi":"10.1007/978-3-642-40564-8_43","DOIUrl":"https://doi.org/10.1007/978-3-642-40564-8_43","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129012450","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
Normalizing Cardinality Rules Using Merging and Sorting Constructions 使用合并和排序结构规范化基数规则
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2013-09-15 DOI: 10.1007/978-3-642-40564-8_19
J. Bomanson, T. Janhunen
{"title":"Normalizing Cardinality Rules Using Merging and Sorting Constructions","authors":"J. Bomanson, T. Janhunen","doi":"10.1007/978-3-642-40564-8_19","DOIUrl":"https://doi.org/10.1007/978-3-642-40564-8_19","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116151667","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}
引用次数: 35
Non-monotonic Temporal Goals 非单调时间目标
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2013-09-15 DOI: 10.1007/978-3-642-40564-8_37
Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
{"title":"Non-monotonic Temporal Goals","authors":"Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota","doi":"10.1007/978-3-642-40564-8_37","DOIUrl":"https://doi.org/10.1007/978-3-642-40564-8_37","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124428896","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
Forgetting under the Well-Founded Semantics 有根据语义下的遗忘
International Conference on Logic Programming and Non-Monotonic Reasoning Pub Date : 2013-09-15 DOI: 10.1007/978-3-642-40564-8_4
José Júlio Alferes, Matthias Knorr, Kewen Wang
{"title":"Forgetting under the Well-Founded Semantics","authors":"José Júlio Alferes, Matthias Knorr, Kewen Wang","doi":"10.1007/978-3-642-40564-8_4","DOIUrl":"https://doi.org/10.1007/978-3-642-40564-8_4","url":null,"abstract":"","PeriodicalId":389767,"journal":{"name":"International Conference on Logic Programming and Non-Monotonic Reasoning","volume":"123 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132355393","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}
引用次数: 15
首页 上一页
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学术官方微信