conftrace_

axiom construction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical semantic representation (1) logical semantics (1) axiom injection (1) lexical knowledge (1) textual entailment (1) theorem prover (1) semantic representation (1) theorem proving (1) logical reasoning (1)

Papers

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017