logical-knowledge-representation topic

Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic

ParhamP

An NLP solution for Chinese. Demonstrates with a full functional chatbot.

paladin-t

Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

graphik-team