@inproceedings{zymla-etal-2025-instructive,
    title = "An instructive implementation of semantic parsing and reasoning using {L}exical {F}unctional {G}rammar",
    author = "Zymla, Mark-Matthias  and
      Kruschwitz, Kascha  and
      Zodl, Paul",
    editor = "Bernard, Timoth{\'e}e  and
      Mickus, Timothee",
    booktitle = "Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2)",
    month = sep,
    year = "2025",
    address = {D{\"u}sseldorf, Germany},
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/iwcs-25-ingestion/2025.brigap-1.6/",
    pages = "35--51",
    ISBN = "979-8-89176-317-3",
    abstract = "This paper presents a computational resource for exploring semantic parsing and reasoning through a strictly formal lense. Inspired by the framework of Lexical Functional Grammar, our system allows for modular exploration of different aspects of semantic parsing. It consists of a hand-coded formal grammar combining syntactic and semantic annotations, producing basic semantic representations. The system provides the option to extend these basic semantics via rewrite rules in a principled fashion to explore more complex reasoning. The result is a layered system enabling an incremental approach to semantic parsing. We illustrate this approach with examples from the Fracas testsuite demonstrating its overall functionality and viability."
}