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

UK Conference on Logic Programming最新文献

筛选
英文 中文
Metalevel and Constraint Technology in a Pure Logic Language 纯逻辑语言中的元层和约束技术
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-94-011-2562-8_1
E. Babb
{"title":"Metalevel and Constraint Technology in a Pure Logic Language","authors":"E. Babb","doi":"10.1007/978-94-011-2562-8_1","DOIUrl":"https://doi.org/10.1007/978-94-011-2562-8_1","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"257 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":"123965484","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
Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers Prolog在大规模并行混合架构计算机上的实现
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3546-3_1
P. Kacsuk
{"title":"Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers","authors":"P. Kacsuk","doi":"10.1007/978-1-4471-3546-3_1","DOIUrl":"https://doi.org/10.1007/978-1-4471-3546-3_1","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"184 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":"128181967","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
Soft Sorting in Logic Programming 逻辑程序设计中的软排序
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3421-3_5
Jing Chen, J. Staples
{"title":"Soft Sorting in Logic Programming","authors":"Jing Chen, J. Staples","doi":"10.1007/978-1-4471-3421-3_5","DOIUrl":"https://doi.org/10.1007/978-1-4471-3421-3_5","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"54 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":"133628628","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
The DelPhi Multiprocessor Inference Machine DelPhi多处理器推理机
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3421-3_11
W. Clocksin
{"title":"The DelPhi Multiprocessor Inference Machine","authors":"W. Clocksin","doi":"10.1007/978-1-4471-3421-3_11","DOIUrl":"https://doi.org/10.1007/978-1-4471-3421-3_11","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"27 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":"123911673","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}
引用次数: 5
An Introduction to Gödel Gödel简介
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3421-3_16
A. F. Bowers, P. Hill
{"title":"An Introduction to Gödel","authors":"A. F. Bowers, P. Hill","doi":"10.1007/978-1-4471-3421-3_16","DOIUrl":"https://doi.org/10.1007/978-1-4471-3421-3_16","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"21 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":"122599664","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
Using Algebraic Semantics for Proving Prolog termination and Transformation 用代数语义证明Prolog终止和变换
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3546-3_8
B. Ross
{"title":"Using Algebraic Semantics for Proving Prolog termination and Transformation","authors":"B. Ross","doi":"10.1007/978-1-4471-3546-3_8","DOIUrl":"https://doi.org/10.1007/978-1-4471-3546-3_8","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","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":"131359892","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}
引用次数: 5
Deriving Answers to Logical Queries Via Answer Composition 通过答案组合获得逻辑查询的答案
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3546-3_7
R. Gaizauskas
{"title":"Deriving Answers to Logical Queries Via Answer Composition","authors":"R. Gaizauskas","doi":"10.1007/978-1-4471-3546-3_7","DOIUrl":"https://doi.org/10.1007/978-1-4471-3546-3_7","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","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":"126999050","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
Term-Encodable Description Spaces 术语可编码的描述空间
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-94-011-2562-8_9
C. Mellish
{"title":"Term-Encodable Description Spaces","authors":"C. Mellish","doi":"10.1007/978-94-011-2562-8_9","DOIUrl":"https://doi.org/10.1007/978-94-011-2562-8_9","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"32 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":"115611587","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}
引用次数: 21
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog 确定程序的有限逼近算法及其在Prolog中的实现
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3421-3_4
Lunjin Lu, P. Greenfield
{"title":"An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog","authors":"Lunjin Lu, P. Greenfield","doi":"10.1007/978-1-4471-3421-3_4","DOIUrl":"https://doi.org/10.1007/978-1-4471-3421-3_4","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","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":"129665232","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
A Simple Prolog Techniques Editor for Novice Users 一个简单的Prolog技术编辑器为新手用户
UK Conference on Logic Programming Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3546-3_11
D. Robertson
{"title":"A Simple Prolog Techniques Editor for Novice Users","authors":"D. Robertson","doi":"10.1007/978-1-4471-3546-3_11","DOIUrl":"https://doi.org/10.1007/978-1-4471-3546-3_11","url":null,"abstract":"","PeriodicalId":194966,"journal":{"name":"UK Conference on Logic Programming","volume":"16 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":"123783135","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}
引用次数: 31
下一页 尾页
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学术官方微信