rrr software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm
Share - Bookmark