Formal & Physical Sciences AI — Models & ResearchENEntailment and ModelsArtificial IntelligenceJanuary 12, 2016 34 min★ ★ ★ ★ ☆ 4/5First-Order LogicSemanticsEntailment