conftrace_

semantic tractability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

syntactic parser (1) natural language question (1) meaning representation (1) theorem prover (1) semantic parsing (1) question answering (1) theorem proving (1)

Papers

COVER: Covering the Semantically Tractable Questions EACL 2017