SpaceNLI: Evaluating the Consistency of Predictions on Spatial Natural Language Inference
33rd CLIN. Antwerp, 2023
Does Logic-based Reasoning Work for Natural Language Inference in Dutch?
31st CLIN. virtua Ghent, 2021
How to Train a Theorem Prover for Natural Language Inference Slides
(Invited talk) LACompLing, IWCS. virtual Montpellier, 2021
Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference Video
9th *SEM. virtual Barcelona, 2020
DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs
MRP shared task. CoNLL, 2020 Video
Natural theorem proving for natural language: theory and application
(Invited talk) CLASP seminar. University of Gothenburg, 2020
The Parallel Meaning Bank: a corpus of translations annotated with formal meaning representations
(Invited talk) CLASP seminar. University of Gothenburg, 2020
The First Shared Task on Discourse Representation Structure Parsing
The IWCS Shared Task on Semantic Parsing. Gothenburg, 2019
A Natural Tableau System for a Natural Language Slides
Workshop on Proof Theory and its Applications. Ghent, 2018
Compositional Semantics in the Parallel Meaning Bank Slides
(Invited talk) LACompLing. Stockholm, 2018
Universal Semantic tagging Slides
(Invited talk) Meeting on Meanng Representation. Asker, 2018
Towards Universal Semantic Tagging
12th IWCS. Montpellier, 2017
The Parallel Meaning Bank Poster
38th TABU Dag. Groningen, 2017
A Natural Proof System of Natural Language
CLIN 27. Leuven, 2017
The Parallel Meaning Bank
CLIN 27. Leuven, 2017
Natural Solution to FraCaS Entailment Problems
5th *SEM. Berlin, 2016
A Pure Logic-Based Approach to Natural Reasoning
20th Amsterdam Colloquium. Amsterdam, 2015
Solving an RTE Task with a Theorem Prover for Natural Language
11th TbiLLC. Tbilisi, 2015
A Logic of Belief with the Complexity Measure Slides
Workshop on Logics for Resource-Bounded Agents. Barcelona, ESSLLI, 2015
A Logic of Belief with a Complexity Measure
Trends in Logic XV: Logics for Social Behaviour. Delft, 2015
Natural Prover for Natural Language
36th TABU Dag. Groningen, 2015
A Wide-Coverage Tableau Method for Natural Logic
(Invited talk at the seminar). Ochanomizu University. Tokyo, 2014
Towards a Wide-Coverage Tableau Method for Natural Logic
11th LENLS workshop. Tokyo, 2014
A Logic of Belief with the Notion of Complexity
(contributed talk) Rene
Descartes Lectures. Tilburg, 2014