research
∙
02/23/2023
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention
This paper describes SPINDLE - an open source Python module implementing...
share
research
∙
11/08/2022
Perspectives on neural proof nets
In this paper I will present a novel way of combining proof net proof se...
research
∙
10/23/2020
Proof-theoretic aspects of NLλ
We present a proof-theoretic analysis of the logic NLλ (Barker & Shan 20...
research
∙
09/26/2020
Neural Proof Nets
Linear logic and the linear λ-calculus have a long standing tradition in...
research
∙
09/22/2020
Logical foundations for hybrid type-logical grammars
This paper explores proof-theoretic aspects of hybrid type-logical gramm...
research
∙
08/17/2020
Logical Semantics, Dialogical Argumentation, and Textual Entailment
In this chapter, we introduce a new dialogical system for first order cl...
research
∙
08/14/2020
Partial Orders, Residuation, and First-Order Linear Logic
We will investigate proof-theoretic and linguistic aspects of first-orde...
research
∙
12/29/2019
ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch
We present ÆTHEL, a semantic compositionality dataset for written Dutch....
research
∙
04/06/2018
Chart Parsing Multimodal Grammars
The short note describes the chart parser for multimodal type-logical gr...
research
∙
06/06/2016
Proof nets for the Displacement calculus
We present a proof net calculus for the Displacement calculus and show i...
research
∙
05/13/2016
Natural Language Semantics and Computability
This paper is a reflexion on the computability of natural language seman...
research
∙
02/02/2016
The Grail theorem prover: Type theory for syntax and semantics
As the name suggests, type-logical grammars are a grammar formalism base...
research
∙
06/18/2015