Repositories tagged with "logical-knowledge-inference"
Natural_Logic_Interpreter
ParhamP
โAutomatically interpret and validate nested natural logic arguments based on rules of inference and propositional logicโ
knowledgebase
primaryobjects
โAn expert system using logic-based artificial intelligence and symbolic AI.โ
graal
graphik-team
โGraal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage: โ