hackage.haskell.org "artificial-intelligence" keyword
opencog-atomspace 0.1.0.8
The OpenCog (hyper-)graph database and graph rewriting system9 versions - Latest release: almost 9 years ago - 5 dependent repositories - 5.95 thousand downloads total - 922 stars on GitHub - 1 maintainer
BPS 0.1.1.0
Haskell monad transformer-based translations of two classic Truth Maintenance System algorithms o...2 versions - Latest release: over 3 years ago - 238 downloads total - 16 stars on GitHub - 1 maintainer
mios 1.6.2
A SAT solver written in Haskell.6 versions - Latest release: over 7 years ago - 3 dependent repositories - 3.84 thousand downloads total - 39 stars on GitHub - 1 maintainer
Related Keywords
library
3
Propose Tags
3
program
2
gpl
2
sat-solver
1
haskell
1
constraints
1
tms
1
search
1
scala
1
jtms
1
forbus-dekleer
1
building-problem-solvers
1
atms
1
artificial-intelligence-algorithms
1
ai-algorithms
1
ai
1
truth-maintenance
1
atomspace
1
graph-database
1
rewriting
1
rewrite-system
1
relational-database
1
relational-algebra
1
query-language
1
query-engine
1
logic-programming
1
knowledge-representation
1
knowledge-graph
1
knowledge-base
1
graph-rewriting
1