A Typedriven Vector Semantics for Ellipsis with Anaphora using Lambek Calculus with Limited Contraction.

Gijs Wijnholds Mehrnoosh Sadrzadeh

Published in: CoRR (2019)

Keyphrases

algebraic structure
formal language
formal semantics
database query languages
neural network
process algebra
logic programming
vector space
computational properties
feature space
relational databases
feature vectors
default reasoning
relational calculus
term rewriting
tableau calculus