conftrace_

logical semantic representation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical semantics (2) semantic representation (2) axiom construction (1) higher-order inference (1) axiom injection (1) natural deduction (1) semantic textual similarity (1) lexical knowledge (1) textual entailment (1) theorem prover (1)

Papers

Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017