河内以资源为导向

2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI) Pub Date : 1900-01-01 DOI:10.1109/SAMI.2017.7880299

L. Vokorokos, Z. Bilanová, Daniel Mihályi

{"title":"河内以资源为导向","authors":"L. Vokorokos, Z. Bilanová, Daniel Mihályi","doi":"10.1109/SAMI.2017.7880299","DOIUrl":null,"url":null,"abstract":"The features of linear predicate logic (based on propositional linear logic enriched by the first order predicate logic principles) are implemented in logic programming language called Vorvan. Subsequently, the time-space extension of linear logic — Ludics theory, is applied to selected clause of given language.","PeriodicalId":105599,"journal":{"name":"2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Hanoi towers in resource oriented perspective\",\"authors\":\"L. Vokorokos, Z. Bilanová, Daniel Mihályi\",\"doi\":\"10.1109/SAMI.2017.7880299\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The features of linear predicate logic (based on propositional linear logic enriched by the first order predicate logic principles) are implemented in logic programming language called Vorvan. Subsequently, the time-space extension of linear logic — Ludics theory, is applied to selected clause of given language.\",\"PeriodicalId\":105599,\"journal\":{\"name\":\"2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SAMI.2017.7880299\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SAMI.2017.7880299","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

线性谓词逻辑的特点(基于一阶谓词逻辑原理丰富的命题线性逻辑)在逻辑程序设计语言Vorvan中实现。然后，将线性逻辑的时空扩展理论——Ludics理论应用于给定语言的特定子句。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Hanoi towers in resource oriented perspective

The features of linear predicate logic (based on propositional linear logic enriched by the first order predicate logic principles) are implemented in logic programming language called Vorvan. Subsequently, the time-space extension of linear logic — Ludics theory, is applied to selected clause of given language.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2017 IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI)

自引率

0.00%

发文量