DeepAI AI Chat
Log In Sign Up

Chart Parsing Multimodal Grammars

04/06/2018
by   Richard Moot, et al.
0

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.

READ FULL TEXT
01/13/2020

A Verified Packrat Parser Interpreter for Parsing Expression Grammars

Parsing expression grammars (PEGs) offer a natural opportunity for build...
02/23/2023

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

This paper describes SPINDLE - an open source Python module implementing...
09/22/2020

Logical foundations for hybrid type-logical grammars

This paper explores proof-theoretic aspects of hybrid type-logical gramm...
08/13/2018

The Delta-framework

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

Adequate and computational encodings in the logical framework Dedukti

Dedukti is a very expressive logical framework which unlike most framewo...
09/26/2020

Neural Proof Nets

Linear logic and the linear λ-calculus have a long standing tradition in...
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...