AI Chat AI Image Generator AI Video Text to Speech

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.

research

∙ 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. ∙

research

∙ 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. ∙

research

∙ 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. ∙

research

∙ 08/13/2018

The Delta-framework

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

0 Furio Honsell, et al. ∙

research

∙ 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. ∙

research

∙ 05/08/2023

Idris TyRE: a dependently typed regex parser

Regular expressions – regexes – are widely used not only for validating,...

0 Ohad Kammar, et al. ∙

research

∙ 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. ∙