conftrace_

axiom injection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

recognizing textual entailment (1) proof automation (1) logic-based reasoning (1) logical semantics (1) logical semantic representation (1) axiom construction (1) lexical knowledge (1) textual entailment (1) theorem prover (1) knowledge graph (1)

Papers

Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference AAAI 2019 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017