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

ASp最新文献

筛选
英文 中文
Reducing Propositional Theories in Equilibrium Logic to Logic Programs 将均衡逻辑中的命题理论简化为逻辑程序
ASp Pub Date : 2005-12-05 DOI: 10.1007/11595014_2
Pedro Cabalar, D. Pearce, A. Valverde
{"title":"Reducing Propositional Theories in Equilibrium Logic to Logic Programs","authors":"Pedro Cabalar, D. Pearce, A. Valverde","doi":"10.1007/11595014_2","DOIUrl":"https://doi.org/10.1007/11595014_2","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"109 1","pages":"4-17"},"PeriodicalIF":0.0,"publicationDate":"2005-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74747798","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}
引用次数: 37
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming 答案集规划中高级等价检验的实现
ASp Pub Date : 2005-10-02 DOI: 10.1007/11562931_16
H. Tompits, S. Woltran
{"title":"Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming","authors":"H. Tompits, S. Woltran","doi":"10.1007/11562931_16","DOIUrl":"https://doi.org/10.1007/11562931_16","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"82 1","pages":"189-203"},"PeriodicalIF":0.0,"publicationDate":"2005-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73401170","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
An Algebraic Account of Modularity in ID-logic id逻辑中模块化的一个代数解释
ASp Pub Date : 2005-09-05 DOI: 10.1007/11546207_23
Joost Vennekens, M. Denecker
{"title":"An Algebraic Account of Modularity in ID-logic","authors":"Joost Vennekens, M. Denecker","doi":"10.1007/11546207_23","DOIUrl":"https://doi.org/10.1007/11546207_23","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"34 1","pages":"291-303"},"PeriodicalIF":0.0,"publicationDate":"2005-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73465386","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
Abduction and Preferences in Linguistics 语言学中的溯因与偏好
ASp Pub Date : 2005-09-05 DOI: 10.1007/11546207_32
Kathrin Konczak, Ralf Vogel
{"title":"Abduction and Preferences in Linguistics","authors":"Kathrin Konczak, Ralf Vogel","doi":"10.1007/11546207_32","DOIUrl":"https://doi.org/10.1007/11546207_32","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"39 1","pages":"384-388"},"PeriodicalIF":0.0,"publicationDate":"2005-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80951222","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
SELP - A System for Studying Strong Equivalence between Logic Programs SELP -一个研究逻辑程序间强等价的系统
ASp Pub Date : 2005-09-05 DOI: 10.1007/11546207_43
Yin Chen, Fangzhen Lin, Lei Li
{"title":"SELP - A System for Studying Strong Equivalence between Logic Programs","authors":"Yin Chen, Fangzhen Lin, Lei Li","doi":"10.1007/11546207_43","DOIUrl":"https://doi.org/10.1007/11546207_43","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"36 1","pages":"442-446"},"PeriodicalIF":0.0,"publicationDate":"2005-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86565789","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}
引用次数: 25
Suitable Graphs for Answer Set Programming 适合答案集规划的图
ASp Pub Date : 2005-03-14 DOI: 10.1007/978-3-540-32275-7_11
Thomas Linke, Vladimir Sarsakov
{"title":"Suitable Graphs for Answer Set Programming","authors":"Thomas Linke, Vladimir Sarsakov","doi":"10.1007/978-3-540-32275-7_11","DOIUrl":"https://doi.org/10.1007/978-3-540-32275-7_11","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"47 1","pages":"154-168"},"PeriodicalIF":0.0,"publicationDate":"2005-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88315182","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
Graphs and colorings for answer set programming: Abridged Report 答案集编程的图形和着色:节选报告
ASp Pub Date : 2004-01-06 DOI: 10.1007/978-3-540-24609-1_13
Kathrin Konczak, Thomas Linke, Torsten Schaub
{"title":"Graphs and colorings for answer set programming: Abridged Report","authors":"Kathrin Konczak, Thomas Linke, Torsten Schaub","doi":"10.1007/978-3-540-24609-1_13","DOIUrl":"https://doi.org/10.1007/978-3-540-24609-1_13","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"18 1","pages":"127-140"},"PeriodicalIF":0.0,"publicationDate":"2004-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77809049","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
An A Prolog decision support system for the Space Shuttle A Prolog航天飞机决策支持系统
ASp Pub Date : 2001-03-11 DOI: 10.1007/3-540-45241-9_12
M. Nogueira, M. Balduccini, M. Gelfond, Richard Watson, M. Barry
{"title":"An A Prolog decision support system for the Space Shuttle","authors":"M. Nogueira, M. Balduccini, M. Gelfond, Richard Watson, M. Barry","doi":"10.1007/3-540-45241-9_12","DOIUrl":"https://doi.org/10.1007/3-540-45241-9_12","url":null,"abstract":"","PeriodicalId":37325,"journal":{"name":"ASp","volume":"8 1","pages":"169-183"},"PeriodicalIF":0.0,"publicationDate":"2001-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84174686","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}
引用次数: 267
首页 上一页
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学术官方微信