DeepAI AI Chat

Chart Parsing Multimodal Grammars

04/06/2018

∙

by Richard Moot, et al.

∙

∙

The short note describes the chart parser for multimodal type-logical grammars which has been developed in conjunction with the type-logical treebank for French. The chart parser presents an incomplete but fast implementation of proof search for multimodal type-logical grammars using the "deductive parsing" framework. Proofs found can be transformed to natural deduction proofs.

∙ 01/13/2020

A Verified Packrat Parser Interpreter for Parsing Expression Grammars

Parsing expression grammars (PEGs) offer a natural opportunity for build...

0 Clement Blaudeau, et al. ∙

∙ 02/23/2023

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

This paper describes SPINDLE - an open source Python module implementing...

0 Konstantinos Kogkalidis, et al. ∙

∙ 09/22/2020

Logical foundations for hybrid type-logical grammars

This paper explores proof-theoretic aspects of hybrid type-logical gramm...

0 Richard Moot, et al. ∙

∙ 08/13/2018

The Delta-framework

We introduce the Delta-framework, LF-Delta, a dependent type theory base...

0 Furio Honsell, et al. ∙

∙ 05/05/2022

Adequate and computational encodings in the logical framework Dedukti

Dedukti is a very expressive logical framework which unlike most framewo...

0 Thiago Felicissimo, et al. ∙

∙ 09/26/2020

Neural Proof Nets

Linear logic and the linear λ-calculus have a long standing tradition in...

0 Konstantinos Kogkalidis, et al. ∙

∙ 05/01/2020

Combining predicate transformer semantics for effects: a case study in parsing regular languages

This paper describes how to verify a parser for regular expressions in a...

0 Anne Baanen, et al. ∙