thundergolfer / the-general-problem-solver

Related projects ⓘ

Alternatives and complementary repositories for the-general-problem-solver

• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆53Updated 15 years ago
• CarsonScott / OpenAgent
  An agent library for systems of nested automata.
  ☆42Updated 7 years ago
• kakwa / pylogic
  Python Module for Logical Validation (forked from Rob Truxler library)
  ☆25Updated 4 years ago
• eriktmueller / thoughttreasure
  ThoughtTreasure commonsense knowledge base and architecture for natural language processing
  ☆77Updated 9 years ago
• sandsmark / replicode
  constructivist AI language and runtime
  ☆35Updated 3 years ago
• msbrogli / sdm
  Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.
  ☆48Updated 6 years ago
• Cerenaut / agi
  Research code & algorithms for artificial general intelligence.
  ☆64Updated 6 years ago
• TimDettmers / deepnet
  Deep neural network implemented with gnumpy/cudamat
  ☆16Updated 10 years ago
• ssardina / ergo
  ERGO Agent Programming Language
  ☆27Updated 5 months ago
• hosford42 / xcs
  Accuracy-based Learning Classifier Systems (XCS)
  ☆48Updated 7 months ago
• Knewton / Zoidberg
  A natural language word problem solver written in Python
  ☆39Updated 10 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• simbrain / simbrain
  Main repository for Simbrain code, documentation, and simulations.
  ☆92Updated this week
• jordn / ProbLog
  ProbLog 2 is now at https://github.com/ML-KULeuven/problog
  ☆10Updated 5 years ago
• stared / tag-graph-map-of-stackexchange
  Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.
  ☆54Updated 10 years ago
• allenai / grobid
  A machine learning software for extracting information from scholarly documents
  ☆23Updated 3 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 3 weeks ago
• commonsense / luminoso
  A visualizer for multi-dimensional semantic data
  ☆38Updated 13 years ago
• ryanjmccall / LIDA-Framework-1.2b
  LIDA Software Framework
  ☆10Updated 10 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆24Updated this week
• sfu-natlang / glm-parser
  Tree-adjoining grammar based statistical dependency parser using a general linear model (glm).
  ☆28Updated 7 years ago
• srush / PyDecode
  A dynamic programming toolkit.
  ☆39Updated 10 years ago
• rocky / python-spark
  An Earley-Algorithm Context-free grammar Parser Toolkit
  ☆45Updated last month
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 5 months ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆66Updated 6 years ago
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆52Updated 8 years ago
• opencog / moses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to gu…
  ☆128Updated last year
• opencog / agi-bio
  Genomic and Proteomic data exploration and pattern mining
  ☆24Updated 2 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• thundergolfer / awesome-AI-academia
  A curated list of academic AI resources and people. Partly an aspirational list, partly a memory aide.
  ☆49Updated 5 years ago