Abstract Meaning Representation (AMR)(Banarescu et al., 2013) is a framework for
semantic dependencies that encodes its rooted and directed acyclic graphs in a format …

ULKB Logic is an open-source framework written in Python for reasoning over knowledge
graphs. It provides an interactive theorem prover-like environment equipped with a higher …

The Grammar Matrix project is a meta-grammar engineering framework expressed in Head-
driven Phrase Structure Grammar (HPSG) and Minimal Recursion Semantics (MRS). It …

Automatic Text Simplification (ATS) is the process of reducing a text's l inguistic complexity to
improve its understandability and readability while maintaining its original information …

We proposed a framework and its implementation as a Python library for converting English
utterances into higher-order logic (HOL) formulas. HOL extends first-order logic and …

While the automated creation of machine-readable grammars is a valuable resource for
linguists who wish to work with these grammars for linguistic hypothesis testing, the …

There is limited understanding of the user-level variables related to the common activity of
repeat advice-seeking on virtual communities. Gender is of particular interest; past studies …

Develo** a defect-free software application is a challenging task. Despite many years of
experience, the intense development of reliable software remains a challenge. For this …

In 2008, the Princeton team released the last version of the “Princeton Annotated Gloss
Corpus”. In this corpus, the word forms from the definitions and examples (glosses) of …

The LinGO Grammar Matrix (Bender et al. 2002, Bender et al. 2010) is a meta-grammar
engineering framework that using the Head-driven Phrase Structure Grammar (HPSG; …