hackage.haskell.org "artificial-intelligence" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "artificial-intelligence" keyword.
mios 1.6.2
A SAT solver written in Haskell.6 versions - Latest release: almost 7 years ago - 3 dependent repositories - 3.77 thousand downloads total - 39 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: almost 3 years ago - 201 downloads total - 16 stars on GitHub - 1 maintainer
opencog-atomspace 0.1.0.8
The OpenCog (hyper-)graph database and graph rewriting system9 versions - Latest release: over 8 years ago - 5 dependent repositories - 5.82 thousand downloads total - 897 stars on GitHub - 1 maintainer
Related Keywords
library
3
Propose Tags
3
gpl
2
program
2
tms
1
atomspace
1
graph-database
1
graph-rewriting
1
knowledge-base
1
knowledge-graph
1
knowledge-representation
1
logic-programming
1
query-engine
1
query-language
1
relational-algebra
1
relational-database
1
rewrite-system
1
rewriting
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
sat-solver
1
haskell
1
constraints
1