Logical Knowledge Inference Collection

◆

◆

◆

◆

🔮Psychic

★

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

◆

◆

◆

◆

⚡Electric

★

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

◆

◆

◆

◆

⚡Thunder

★

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