Is there a place for logic in recognizing textual entailment

18298

Knowledge Triples

Source Entity	Relationship	Target Entity
Мәтіндік тұжырымды тану Task	uses	Комбинаторлық категориялық грамматика Method
Мәтіндік тұжырымды тану Task	uses	Дискурс өкілдігі теориясы Method
Мәтіндік тұжырымды тану Task	uses	Бірінші ретті теоремаларды дәлелдеу Method