News for hackers. Stuff that matters.

A comment on LangPro: Natural Language Theorem Prover. Parent comment

Re:LangPro: Natural Language Theorem Prover by _raoulcousins on Friday September 01, 2017 @01:36AM (#15146378)
This is the tableau they're talking about: https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
[ Parent | on HN ]
Re:LangPro: Natural Language Theorem Prover by nl on Friday September 01, 2017 @01:40AM (#15146393)
Ha. Thanks.

I should have read the paper, not just jumped to the Github link.

[ Parent | on HN ]