| 可更新Datalog的分布式时态逻辑扩展及应用 | |
| 霍颖瑜1; 马莉1; 胡敬文2; 钟勇1 | |
| 2017-08-01 | |
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| 卷号 | 53期号:15页码:101-105 |
| 摘要 | 针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。 |
| 关键词 | TU-Datalog语言 分布式时态逻辑 社交网络 访问控制 |
| URL | 查看原文 |
| 收录类别 | 北大核心 ; CSCD |
| 语种 | 中文 |
| 资助项目 | 国家自然科学基金(No.61373015);广东省自然科学基金(No.2015A030313638);广东省前沿与关键技术创新专项资金(No.2016B010113004);佛山科学技术学院科研项目 |
| 原始文献类型 | 学术期刊 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/57703 |
| 专题 | 国家开放大学广东分部 |
| 作者单位 | 1.佛山科学技术学院电子信息工程学院; 2.佛山广播电视大学理工教研室 |
| 推荐引用方式 GB/T 7714 | 霍颖瑜,马莉,胡敬文,等. 可更新Datalog的分布式时态逻辑扩展及应用[J]. 计算机工程与应用,2017,53(15):101-105. |
| APA | 霍颖瑜,马莉,胡敬文,&钟勇.(2017).可更新Datalog的分布式时态逻辑扩展及应用.计算机工程与应用,53(15),101-105. |
| MLA | 霍颖瑜,et al."可更新Datalog的分布式时态逻辑扩展及应用".计算机工程与应用 53.15(2017):101-105. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 查看访问统计 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [霍颖瑜]的文章 |
| [马莉]的文章 |
| [胡敬文]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [霍颖瑜]的文章 |
| [马莉]的文章 |
| [胡敬文]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [霍颖瑜]的文章 |
| [马莉]的文章 |
| [胡敬文]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
| 相关推荐 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论