咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 控制科学与工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 3 篇 linear logic pro...
  • 1 篇 linear logic
  • 1 篇 asynchronous con...
  • 1 篇 distributed comp...
  • 1 篇 celf
  • 1 篇 narrative modell...
  • 1 篇 concurrency

机构

  • 1 篇 department of in...
  • 1 篇 univ tokyo dept ...
  • 1 篇 univ teesside mi...
  • 1 篇 carnegie mellon ...

作者

  • 1 篇 bosser anne-gwen...
  • 1 篇 cavazza marc
  • 1 篇 yonezawa akinori
  • 1 篇 kobayashi n
  • 1 篇 martens chris
  • 1 篇 yonezawa a
  • 1 篇 shimizu t
  • 1 篇 kobayashi naoki
  • 1 篇 ferreira joao f.

语言

  • 3 篇 英文
检索条件"主题词=Linear Logic Programming"
3 条 记 录,以下是1-10 订阅
排序:
linear logic programming for Narrative Generation
Linear Logic Programming for Narrative Generation
收藏 引用
12th International Conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Martens, Chris Bosser, Anne-Gwenn Ferreira, Joao F. Cavazza, Marc Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Teesside Middlesbrough Cleveland England
In this paper, we explore the use of linear logic programming for story generation. We use the language Celf to represent narrative knowledge, and its own querying mechanism to generate story instances, through a numb... 详细信息
来源: 评论
Distributed concurrent linear logic programming
收藏 引用
THEORETICAL COMPUTER SCIENCE 1999年 第1-2期227卷 185-220页
作者: Kobayashi, N Shimizu, T Yonezawa, A Univ Tokyo Dept Informat Sci Bunkyo Ku Tokyo 1130033 Japan
We propose a framework of distributed concurrent linens logic programming, which can elegantly capture the essential features of distributed computation: location-dependence/independence of names and movement of compu... 详细信息
来源: 评论
Asynchronous communication model based on linear logic
收藏 引用
Formal Aspects of Computing 1995年 第2期7.0卷 113-149页
作者: Kobayashi, Naoki Yonezawa, Akinori Department of Information Science University of Tokyo Tokyo 113 7-3-1 Hongo Bunkyo-ku Japan
We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind of linear logic programming framework, where its operational semantics is described in terms of proof construction ... 详细信息
来源: 评论