Contributions to the compositional semantics of first-order predicate logic.

Philip Kelly M. H. van Emden

Published in: CoRR (2015)

Keyphrases

compositional semantics
natural language
theorem proving
discourse structure
semantic parser
co occurrence