conftrace_

combinatorial categorial grammar

1 paper

Explore in graph

Also known as

CCG

Co-occurring keywords · papers mentioning both

comparative construction (1) logical inference (1) generalized quantifier (1) automated theorem proving (1) semantic representation (1) combinatory categorial grammar (1) natural language inference (1)

Papers

Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020