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

Prolog: The Next 50 Years最新文献

筛选
英文 中文
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 开发运行时验证的逻辑编程:当前和未来的观点
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_25
D. Ancona, Angelo Ferrando, V. Mascardi
{"title":"Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives","authors":"D. Ancona, Angelo Ferrando, V. Mascardi","doi":"10.1007/978-3-031-35254-6_25","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_25","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","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":"115699942","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
Prolog for Scientific Explanation 科学解释序言
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_30
Jean-Christophe Rohner, Håkan Kjellerstrand
{"title":"Prolog for Scientific Explanation","authors":"Jean-Christophe Rohner, Håkan Kjellerstrand","doi":"10.1007/978-3-031-35254-6_30","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_30","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"297 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":"124279218","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
Combining Logic Programming and Imperative Programming in LPS LPS中逻辑编程与命令式编程的结合
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_17
R. Kowalski, F. Sadri, Miguel Calejo, Jacinto A. Dávila
{"title":"Combining Logic Programming and Imperative Programming in LPS","authors":"R. Kowalski, F. Sadri, Miguel Calejo, Jacinto A. Dávila","doi":"10.1007/978-3-031-35254-6_17","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_17","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"21 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":"117233790","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
ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life 题目:利用序文的力量将形式模型和数学带入生活
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_19
M. Leuschel
{"title":"ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life","authors":"M. Leuschel","doi":"10.1007/978-3-031-35254-6_19","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_19","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"92 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":"130971392","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
Introduction to Prolog Prolog简介
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_1
D. Warren
{"title":"Introduction to Prolog","authors":"D. Warren","doi":"10.1007/978-3-031-35254-6_1","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_1","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"6 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":"132911597","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
Writing Correct Prolog Programs 编写正确的程序
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_5
D. Warren
{"title":"Writing Correct Prolog Programs","authors":"D. Warren","doi":"10.1007/978-3-031-35254-6_5","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_5","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"1 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":"129254068","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
Introducing Prolog in Language-Informed Ways 以语言知情的方式介绍Prolog
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_13
V. Dahl, L. Cecchi
{"title":"Introducing Prolog in Language-Informed Ways","authors":"V. Dahl, L. Cecchi","doi":"10.1007/978-3-031-35254-6_13","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_13","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"1 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":"114154178","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
Types, Modes and so Much More - The Prolog Way 类型，模式和更多-序言的方式
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_2
M. Hermenegildo, J. Morales, P. López-García, M. Carro
{"title":"Types, Modes and so Much More - The Prolog Way","authors":"M. Hermenegildo, J. Morales, P. López-García, M. Carro","doi":"10.1007/978-3-031-35254-6_2","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_2","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"29 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":"122718073","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 Better Logical Semantics for Prolog 为Prolog提供更好的逻辑语义
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_7
D. Warren, M. Denecker
{"title":"A Better Logical Semantics for Prolog","authors":"D. Warren, M. Denecker","doi":"10.1007/978-3-031-35254-6_7","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_7","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"4 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":"129898645","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
Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages 对基于逻辑的编程语言的自动化、易学性和表达性的思考
Prolog: The Next 50 Years Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-35254-6_29
Paul Tarau
{"title":"Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages","authors":"Paul Tarau","doi":"10.1007/978-3-031-35254-6_29","DOIUrl":"https://doi.org/10.1007/978-3-031-35254-6_29","url":null,"abstract":"","PeriodicalId":335160,"journal":{"name":"Prolog: The Next 50 Years","volume":"21 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":"121369151","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学术官方微信