12 citations · 64 across the 17 of their papers we have counts for
18 papers
Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation
Michael Moortgat, Mehrnoosh Sadrzadeh
By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with appl…
Structural Ambiguity and its Disambiguation in Language Model Based Parsers: the Case of Dutch Clause Relativization
Gijs Wijnholds, Michael Moortgat
This paper addresses structural ambiguity in Dutch relative clauses. By investigating the task of disambiguation by grounding, we study how the presence of a prior sentence can res…
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
This paper describes SPINDLE - an open source Python module implementing an efficient and accurate parser for written Dutch that transforms raw text input to programs for meaning c…
Proceedings End-to-End Compositional Models of Vector-Based Semantics
Michael Moortgat, Gijs Wijnholds
The workshop End-to-End Compositional Models of Vector-Based Semantics was held at NUI Galway on 15 and 16 August 2022 as part of the 33rd European Summer School in Logic, Language…
Geometry-Aware Supertagging with Heterogeneous Dynamic Convolutions
Konstantinos Kogkalidis, Michael Moortgat
The syntactic categories of categorial grammar formalisms are structured units made of smaller, indivisible primitives, bound together by the underlying grammar's category formatio…
Grover's Algorithm for Question Answering
A. D. Correia, M. Moortgat, H. T. C. Stoof
Grover's algorithm, a well-know quantum search algorithm, allows one to find the correct item in a database, with quadratic speedup. In this paper we adapt Grover's algorithm to th…
Improving BERT Pretraining with Syntactic Supervision
Giorgos Tziafas, Konstantinos Kogkalidis, Gijs Wijnholds +1
Bidirectional masked Transformers have become the core theme in the current NLP landscape. Despite their impressive benchmarks, a recurring theme in recent research has been to que…
SICKNL: A Dataset for Dutch Natural Language Inference
Gijs Wijnholds, Michael Moortgat
We present SICK-NL (read: signal), a dataset targeting Natural Language Inference in Dutch. SICK-NL is obtained by translating the SICK dataset of Marelli et al. (2014)from English…
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Giuseppe Greco, Valentin D. Richard, Michael Moortgat +1
\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof sea…
Neural Proof Nets
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
Linear logic and the linear λ-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of…
A Frobenius Algebraic Analysis for Parasitic Gaps
Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds
The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combin…
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications
Adriana D. Correia, Henk T. C. Stoof, Michael Moortgat
Extended versions of the Lambek Calculus currently used in computational linguistics rely on unary modalities to allow for the controlled application of structural rules affecting…
ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
We present ÆTHEL, a semantic compositionality dataset for written Dutch. ÆTHEL consists of two parts. First, it contains a lexicon of supertags for about 900 000 words in context.…
Vector spaces as Kripke frames
Giuseppe Greco, Fei Liang, Michael Moortgat +2
In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's…
Constructive Type-Logical Supertagging with Self-Attention Networks
Konstantinos Kogkalidis, Michael Moortgat, Tejaswini Deoskar
We propose a novel application of self-attention networks towards grammar induction. We present an attention-based supertagger for a refined type-logical grammar, trained on constr…
Lexical and Derivational Meaning in Vector-Based Models of Relativisation
Michael Moortgat, Gijs Wijnholds
Sadrzadeh et al (2013) present a compositional distributional analysis of relative clauses in English in terms of the Frobenius algebraic structure of finite dimensional vector spa…
Proof nets for the Lambek-Grishin calculus
Michael Moortgat, Richard Moot
Grishin's generalization of Lambek's Syntactic Calculus combines a non-commutative multiplicative conjunction and its residuals (product, left and right division) with a dual famil…
Symmetric categorial grammar: residuation and Galois connections
Michael Moortgat
The Lambek-Grishin calculus is a symmetric extension of the Lambek calculus: in addition to the residuated family of product, left and right division operations of Lambek's origina…