EasyChair Smart SlideDocs/Log in
Conference: NLCS'18 (Natural Language in Computer Science)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.

Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.

Davide Catta, Richard Moot and Christian Retoré

Speakers in vats: simulating model-theoretic alignment with distributional semantics

Speakers in vats: simulating model-theoretic alignment with distributional semantics

Aurelie Herbelot

OpenWordNet-PT: Taking Stock

OpenWordNet-PT: Taking Stock

Valeria de Paiva, Alexandre Rademaker, Livy Real, Fabricio Chalub and Gerard de Melo

Automated Reasoning from Polarized Parse Trees

Automated Reasoning from Polarized Parse Trees

Hai Hu, Thomas Icard and Larry Moss

Propositional Forms of Judgemental Interpretations

Propositional Forms of Judgemental Interpretations

Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis

Propositional Attitude Operators in Homotopy Type Theory

Propositional Attitude Operators in Homotopy Type Theory

Colin Zwanziger

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair