natural-logic topic
List
natural-logic
repositories
LangPro
109
Stars
10
Forks
Watchers
Tableau-based Theorem Prover for Natural Logic and Language
kovvalsky
formal-semantics
lambda-logical-form
natural-language-inference
natural-language-processing