The Challenge of Composition in Distributional and Formal Semantics.

Ran Tian Koji Mineshima Pascual Martínez-Gómez

Published in: IJCNLP (Tutorial Abstracts) (2017)

Keyphrases

formal semantics
first order logic
logical language
er model
formal language
theorem prover
operational semantics
logical reasoning
modeling language
modelling language
speech acts
owl dl ontology