[LIBRO][B] Formal Semantics in Modern Type Theories
S Chatzikyriakidis, Z Luo - 2020 - books.google.com
This book studies formal semantics in modern type theories (MTTsemantics). Compared with
simple type theory, MTTs have much richer type structures and provide powerful means for …
simple type theory, MTTs have much richer type structures and provide powerful means for …
Compositional semantics and inference system for temporal order based on Japanese CCG
Type theories and lexical networks: Using serious games as the basis for multi-sorted typed systems
In this paper, we show how a rich lexico-semantic network which has been built using
serious games, JeuxDeMots, can help us in grounding our semantic ontologies as well as …
serious games, JeuxDeMots, can help us in grounding our semantic ontologies as well as …
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA
In recent years, there has been a surge of interest in tasks targeting Natural Language
Understanding (NLU) and Reasoning. Most recently, Large Language Models (LLMs) such …
Understanding (NLU) and Reasoning. Most recently, Large Language Models (LLMs) such …
Applied temporal analysis: A complete run of the fracas test suite
In this paper, we propose an implementation of temporal semantics that translates syntax
trees to logical formulas, suitable for consumption by the Coq proof assistant. The analysis …
trees to logical formulas, suitable for consumption by the Coq proof assistant. The analysis …