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

The Logic Programming Paradigm最新文献

筛选
英文 中文
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging 使用全局分析、部分规范和可扩展断言语言进行程序验证和调试
The Logic Programming Paradigm Pub Date : 1999-07-01 DOI: 10.1007/978-3-642-60085-2_7
M. Hermenegildo, G. Puebla, F. Bueno
{"title":"Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging","authors":"M. Hermenegildo, G. Puebla, F. Bueno","doi":"10.1007/978-3-642-60085-2_7","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_7","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126017226","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}
引用次数: 85
Formulas as Programs 作为程序的公式
The Logic Programming Paradigm Pub Date : 1998-10-31 DOI: 10.1007/978-3-642-60085-2_4
K. Apt, M. Bezem
{"title":"Formulas as Programs","authors":"K. Apt, M. Bezem","doi":"10.1007/978-3-642-60085-2_4","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_4","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122293525","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
Action Languages, Answer Sets, and Planning 行动语言，答案集和计划
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_16
V. Lifschitz
{"title":"Action Languages, Answer Sets, and Planning","authors":"V. Lifschitz","doi":"10.1007/978-3-642-60085-2_16","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_16","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133644400","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}
引用次数: 158
From Deduction to Induction: Logical Perspective 从演绎到归纳:逻辑视角
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_15
K. Furukawa
{"title":"From Deduction to Induction: Logical Perspective","authors":"K. Furukawa","doi":"10.1007/978-3-642-60085-2_15","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_15","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127951306","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
Adding Constraints to Logic-based Formalisms 向基于逻辑的形式主义添加约束
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_13
Michael J. Maher
{"title":"Adding Constraints to Logic-based Formalisms","authors":"Michael J. Maher","doi":"10.1007/978-3-642-60085-2_13","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_13","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127896949","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
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics 逻辑程序设计与多智能体系统:应用与语义的协同组合
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_1
M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, F. Zini
{"title":"Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics","authors":"M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, F. Zini","doi":"10.1007/978-3-642-60085-2_1","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_1","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123452493","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}
引用次数: 32
Inference and Computation Mobility with Jinni Jinni的推理和计算移动性
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_2
Paul Tarau
{"title":"Inference and Computation Mobility with Jinni","authors":"Paul Tarau","doi":"10.1007/978-3-642-60085-2_2","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_2","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125638804","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}
引用次数: 53
Horn Logic Denotations and Their Applications 角逻辑表示及其应用
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_6
G. Gupta
{"title":"Horn Logic Denotations and Their Applications","authors":"G. Gupta","doi":"10.1007/978-3-642-60085-2_6","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_6","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127389963","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}
引用次数: 39
Assessment of Some Issues in CL-Theory and Program Development cl理论与程序开发中若干问题的评估
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_8
D. D. Schreye, M. Denecker
{"title":"Assessment of Some Issues in CL-Theory and Program Development","authors":"D. D. Schreye, M. Denecker","doi":"10.1007/978-3-642-60085-2_8","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_8","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128354874","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
Link-time Optimization of Multi-Language Programs 多语言程序的链接时间优化
The Logic Programming Paradigm Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60085-2_5
S. Debray
{"title":"Link-time Optimization of Multi-Language Programs","authors":"S. Debray","doi":"10.1007/978-3-642-60085-2_5","DOIUrl":"https://doi.org/10.1007/978-3-642-60085-2_5","url":null,"abstract":"","PeriodicalId":277619,"journal":{"name":"The Logic Programming Paradigm","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122544870","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
下一页 尾页
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学术官方微信