Propositional logic proof writer for deterministc/stochastic expressions using Neo4J graph database & machine learning system optimization
library neo4j-database knowledge-graph propositional-logic logical-reasoning ai-system neurosymbolic-ai machine-learning-optimization
-
Updated
Jan 1, 2025 - Java