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

Fuji International Symposium on Functional and Logic Programming最新文献

筛选
英文 中文
Explanations as Programs in Probabilistic Logic Programming 作为概率逻辑规划程序的解释
Fuji International Symposium on Functional and Logic Programming Pub Date : 2022-10-06 DOI: 10.1007/978-3-030-99461-7_12
G. Vidal
{"title":"Explanations as Programs in Probabilistic Logic Programming","authors":"G. Vidal","doi":"10.1007/978-3-030-99461-7_12","DOIUrl":"https://doi.org/10.1007/978-3-030-99461-7_12","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"04 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130561526","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
Scheduling Complexity of Interleaving Search 交错搜索调度复杂度
Fuji International Symposium on Functional and Logic Programming Pub Date : 2022-02-17 DOI: 10.1007/978-3-030-99461-7_9
Dmitry Rozplokhas, Dmitry Boulytchev
{"title":"Scheduling Complexity of Interleaving Search","authors":"Dmitry Rozplokhas, Dmitry Boulytchev","doi":"10.1007/978-3-030-99461-7_9","DOIUrl":"https://doi.org/10.1007/978-3-030-99461-7_9","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124356646","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
Translation Certification for Smart Contracts 智能合约翻译认证
Fuji International Symposium on Functional and Logic Programming Pub Date : 2022-01-13 DOI: 10.1007/978-3-030-99461-7_6
Jacco Krijnen, M. Chakravarty, G. Keller, Wouter Swierstra
{"title":"Translation Certification for Smart Contracts","authors":"Jacco Krijnen, M. Chakravarty, G. Keller, Wouter Swierstra","doi":"10.1007/978-3-030-99461-7_6","DOIUrl":"https://doi.org/10.1007/978-3-030-99461-7_6","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130871263","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
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data fold - r++:一个可扩展的工具集，用于从混合数据中自动归纳学习默认理论
Fuji International Symposium on Functional and Logic Programming Pub Date : 2021-10-15 DOI: 10.1007/978-3-030-99461-7_13
Huaduo Wang, G. Gupta
{"title":"FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data","authors":"Huaduo Wang, G. Gupta","doi":"10.1007/978-3-030-99461-7_13","DOIUrl":"https://doi.org/10.1007/978-3-030-99461-7_13","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133200979","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
Language-Integrated Query with Nested Data Structures and Grouping 具有嵌套数据结构和分组的语言集成查询
Fuji International Symposium on Functional and Logic Programming Pub Date : 2020-09-14 DOI: 10.1007/978-3-030-59025-3_9
Rui Okura, Yukiyoshi Kameyama
{"title":"Language-Integrated Query with Nested Data Structures and Grouping","authors":"Rui Okura, Yukiyoshi Kameyama","doi":"10.1007/978-3-030-59025-3_9","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_9","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121246899","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 Efficient Composition of Bidirectional Programs by Memoization and Lazy Update 利用记忆和延迟更新实现双向程序的高效组合
Fuji International Symposium on Functional and Logic Programming Pub Date : 2020-09-14 DOI: 10.1007/978-3-030-59025-3_10
Kanae Tsushima, Bach Nguyen Trong, R. Glück, Zhenjiang Hu
{"title":"An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update","authors":"Kanae Tsushima, Bach Nguyen Trong, R. Glück, Zhenjiang Hu","doi":"10.1007/978-3-030-59025-3_10","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_10","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125333994","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
Restriction on Cut in Cyclic Proof System for Symbolic Heaps 符号堆循环证明系统中割的限制
Fuji International Symposium on Functional and Logic Programming Pub Date : 2020-09-14 DOI: 10.1007/978-3-030-59025-3_6
K. Saotome, K. Nakazawa, D. Kimura
{"title":"Restriction on Cut in Cyclic Proof System for Symbolic Heaps","authors":"K. Saotome, K. Nakazawa, D. Kimura","doi":"10.1007/978-3-030-59025-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_6","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129439873","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
Implementing, and Keeping in Check, a DSL Used in E-Learning 电子学习中DSL的实现与保持检查
Fuji International Symposium on Functional and Logic Programming Pub Date : 2020-09-14 DOI: 10.1007/978-3-030-59025-3_11
Oliver Westphal, J. Voigtländer
{"title":"Implementing, and Keeping in Check, a DSL Used in E-Learning","authors":"Oliver Westphal, J. Voigtländer","doi":"10.1007/978-3-030-59025-3_11","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_11","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132420284","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
Declarative Pearl: Deriving Monadic Quicksort 声明性珍珠:导出一元快速排序
Fuji International Symposium on Functional and Logic Programming Pub Date : 2020-09-14 DOI: 10.1007/978-3-030-59025-3_8
Shin-Cheng Mu, Tsung-Ju Chiang
{"title":"Declarative Pearl: Deriving Monadic Quicksort","authors":"Shin-Cheng Mu, Tsung-Ju Chiang","doi":"10.1007/978-3-030-59025-3_8","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_8","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117150143","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
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming 论高阶逻辑程序设计在面向语言程序设计中的有效性
Fuji International Symposium on Functional and Logic Programming Pub Date : 2020-09-14 DOI: 10.1007/978-3-030-59025-3_7
M. Cimini
{"title":"On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming","authors":"M. Cimini","doi":"10.1007/978-3-030-59025-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_7","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134463557","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
下一页 尾页
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学术官方微信