Programmatic solution to the Einstein problem
-
Updated
Sep 7, 2020 - Java
#
logical-reasoning
Here are 2 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the logical-reasoning topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logical-reasoning topic, visit your repo's landing page and select "manage topics."