首页>外文会议>Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics

Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics

召开年：2019
召开地：Gothenburg(SE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Introduction

机译：介绍
- 作者：Rainer Osswald;Christian Retoré;Peter Sutton
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
2.Underspecification and interpretive parallelism in Dependent Type Semantics

机译：从属类型语义学中的规格不足和解释并行性
- 作者：Yusuke Kubota;Koji Mineshima;Robert Levine;Daisuke Bekki
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
3.Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory

机译：将自然语言的自然演绎系统的片段转化为现代类型理论
- 作者：Ivo Pezlar
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
4.Modeling the Induced Action Alternation and the Caused-Motion Construction with Tree Adjoining Grammar (TAG) and Semantic Frames

机译：树状邻接语法（TAG）和语义框架对诱导动作交互和因动作构造建模
- 作者：Esther Seyffarth
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
5.Complex event representation in a typed feature structure implementation of Role and Reference Grammar

机译：角色和参考语法的类型化特征结构实现中的复杂事件表示
- 作者：Erika Bellingham
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
6.Computational Syntax-Semantics Interface with Type-Theory of Acyclic Recursion for Underspecified Semantics

机译：非指定语义的非循环递归类型理论的计算语法-语义接口
- 作者：Roussanka Loukanova
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
7.Modeling language constructs with compatibility intervals

机译：具有兼容性间隔的语言结构建模
- 作者：Pavlo Kapustin;Michael Kapustin
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
8.ImageTTR: Grounding Type Theory with Records in Image Classification for Visual Question Answering

机译：ImageTTR：接地类型理论与图像分类中的记录，用于视觉问答
- 作者：Arild Matsson;Simon Dobnik;Staffan Larsson
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年
9.Enthymemetic Conditionals: Topoi as a guide for acceptability

机译：止吐药条件：Topoi作为可接受性的指南
- 作者：Eimear Maguire
- 会议名称：《Workshop on computing semantics with types, frames and ralated structures;International conference on computational semantics》 | 2019年