19 citations · 62 across the 18 of their papers we have counts for
20 papers
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…
Perspectives on neural proof nets
Richard Moot
In this paper I will present a novel way of combining proof net proof search with neural networks. It contrasts with the 'standard' approach which has been applied to proof search…
Proof-theoretic aspects of NL
Richard Moot
We present a proof-theoretic analysis of the logic NL (Barker \& Shan 2014, Barker 2019). We notably introduce a novel calculus of proof nets and prove it is sound and complete…
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…
Logical foundations for hybrid type-logical grammars
Richard Moot, Symon Stevens-Guille
This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus…
Logical Semantics, Dialogical Argumentation, and Textual Entailment
Davide Catta, Richard Moot, Christian Retoré
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect t…