natural-tableau

There are 0 repository under natural-tableau topic.

• kovvalsky / LangPro

  Tableau-based Theorem Prover for Natural Logic and Language

  nlinatural-language-inferencesemantic-tableautheorem-provertheorem-provingnatural-logicnatural-tableaulambda-logical-formnatural-language-processingformal-semanticsprolog
  Language:Prolog 109