Schaefer JF, Kohlhase M (2020)
Publication Type: Conference contribution
Publication year: 2020
Publisher: CEUR-WS
Book Volume: 2680
Pages Range: 4-11
Conference Proceedings Title: CEUR Workshop Proceedings
With the Grammatical Logical Inference Framework (GLIF), a user can implement the core of symbolic language understanding systems by describing three components, each of which is based on a declarative framework: Parsing (with the Grammatical Framework GF), semantics construction (with MMT), and inference (with ELPI). The logical frameworks underlying these tools are all based on LF, which makes the connection very natural. Example applications are the prototyping of controlled natural languages or experiments with new approaches to natural-language semantics. We use Jupyter notebooks for a unified interface that allows quick development of small ideas as well as testing on example sentences.
APA:
Schaefer, J.F., & Kohlhase, M. (2020). GLIF: A Declarative Framework for Symbolic Natural Language Understanding. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm (Eds.), CEUR Workshop Proceedings (pp. 4-11). CEUR-WS.
MLA:
Schaefer, Jan Frederik, and Michael Kohlhase. "GLIF: A Declarative Framework for Symbolic Natural Language Understanding." Proceedings of the 6th Workshop on Formal and Cognitive Reasoning, FCR 2020 Ed. Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, CEUR-WS, 2020. 4-11.
BibTeX: Download