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

International Conference on Algebraic and Logic Programming最新文献

筛选
英文 中文
Eliminating Negation from Normal Logic Programs 消除正常逻辑程序中的否定
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_41
K. Kanchanasut, Peter James Stuckey
{"title":"Eliminating Negation from Normal Logic Programs","authors":"K. Kanchanasut, Peter James Stuckey","doi":"10.1007/3-540-53162-9_41","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_41","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127718870","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
Lazy Narrowing in a Graph Machine 图机中的延迟窄化
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_47
J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodríguez-Artalejo
{"title":"Lazy Narrowing in a Graph Machine","authors":"J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodríguez-Artalejo","doi":"10.1007/3-540-53162-9_47","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_47","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133313134","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}
引用次数: 80
A Matching Process Modulo a Theory of Categorical Products 一类产品的匹配过程模理论
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_45
F. Bellegarde
{"title":"A Matching Process Modulo a Theory of Categorical Products","authors":"F. Bellegarde","doi":"10.1007/3-540-53162-9_45","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_45","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125344794","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
On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic 论逻辑编程:Dislog的解释:逻辑中长距离依赖的编程
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_42
P. Saint-Dizier
{"title":"On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic","authors":"P. Saint-Dizier","doi":"10.1007/3-540-53162-9_42","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_42","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127154806","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
Fixpoint Techniques for Non-Monotone Maps 非单调映射的不动点技术
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_35
Aïda Batarekh
{"title":"Fixpoint Techniques for Non-Monotone Maps","authors":"Aïda Batarekh","doi":"10.1007/3-540-53162-9_35","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_35","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116556464","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
Equation Solving in Conditional AC-Theories 条件ac理论中的方程求解
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_46
N. Dershowitz, S. Mitra, G. Sivakumar
{"title":"Equation Solving in Conditional AC-Theories","authors":"N. Dershowitz, S. Mitra, G. Sivakumar","doi":"10.1007/3-540-53162-9_46","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_46","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134071180","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
Applying Term Rewriting Methods to Finite Groups 有限群中的项改写方法
International Conference on Algebraic and Logic Programming Pub Date : 1990-10-01 DOI: 10.1007/3-540-53162-9_49
Reinhard Bündgen
{"title":"Applying Term Rewriting Methods to Finite Groups","authors":"Reinhard Bündgen","doi":"10.1007/3-540-53162-9_49","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_49","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"237 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121163187","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
A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata 用树自动机刻划不可约集模左线性项改写系统
International Conference on Algebraic and Logic Programming Pub Date : 1990-05-01 DOI: 10.1007/3-540-50667-5_67
Zoltán Fülöp, S. Vágvölgyi
{"title":"A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata","authors":"Zoltán Fülöp, S. Vágvölgyi","doi":"10.1007/3-540-50667-5_67","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_67","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126957041","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
A Completion Procedure for Hierarchical Conditional Rewriting Systems 分层条件重写系统的补全程序
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 10.1007/3-540-50667-5_61
Wadoud Bousdira
{"title":"A Completion Procedure for Hierarchical Conditional Rewriting Systems","authors":"Wadoud Bousdira","doi":"10.1007/3-540-50667-5_61","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_61","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"306 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124353703","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
Translating Algebraic Specifications to Prolog Programs: A Comparative Study 代数规范到Prolog程序的翻译:比较研究
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 10.1007/3-540-50667-5_65
K. Drosten
{"title":"Translating Algebraic Specifications to Prolog Programs: A Comparative Study","authors":"K. Drosten","doi":"10.1007/3-540-50667-5_65","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_65","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125360499","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
首页 上一页 下一页 尾页
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学术官方微信