nli

Here are 3 public repositories matching this topic...

kovvalsky / LangPro

Tableau-based Theorem Prover for Natural Logic and Language

natural-language-processing formal-semantics prolog theorem-proving natural-language-inference theorem-prover nli semantic-tableau natural-logic natural-tableau lambda-logical-form

Updated Jul 21, 2024
Prolog

kovvalsky / prove_SICK_NL

Star

Prove Ducth NLI problems of SICK-NL with LangPro

theorem-proving dutch natural-language-inference theorem-prover textual-entailment nli dutch-language proof-net natural-logic tableau-prover neural-proof-net

Updated Nov 10, 2023
Prolog

ShreyaGoel03 / Electives-Advisory-using-Natural-Language-Interface

Star

The Natural-Language User Interface is taking the input of all the questions and providing input to the electives advisory System developed in Prolog.

python natural-language-processing prolog artificial-intelligence nli nltk-python

Updated Feb 16, 2022
Prolog

Improve this page

Add a description, image, and links to the nli topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nli topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

nli