logical-knowledge-inference topic

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

ParhamP

An expert system using logic-based artificial intelligence and symbolic AI.

primaryobjects

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