asanchez75 / opencyc

Related projects ⓘ

Alternatives and complementary repositories for opencyc

• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆137Updated this week
• Cognonto / kbpedia
  KBPedia Knowledge Graph & Knowledge Ontology (KKO)
  ☆217Updated 4 years ago
• cu-clear / verbnet
  University of Colorado VerbNet
  ☆101Updated 6 months ago
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆52Updated 8 years ago
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆227Updated last week
• opencog / atomspace
  The OpenCog (hyper-)graph database and graph rewriting system
  ☆826Updated 6 months ago
• commonsense / omcs
  The meta-repository for the Open Mind Common Sense project.
  ☆76Updated 12 years ago
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆91Updated last month
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆116Updated last year
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆188Updated 7 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• ringgaard / sling
  SLING - A natural language frame semantics parser
  ☆158Updated this week
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆103Updated this week
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated last year
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆117Updated 4 years ago
• ccclyu / awesome-deeplogic
  A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
  ☆242Updated 3 months ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆126Updated this week
• w3c / cogai
  for work by the Cognitive AI community group
  ☆54Updated 2 months ago
• opencog / rocca
  Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
  ☆32Updated last year
• cu-clear / semlink
  Official repository for Semlink resources
  ☆32Updated 2 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆333Updated 3 weeks ago
• eriktmueller / thoughttreasure
  ThoughtTreasure commonsense knowledge base and architecture for natural language processing
  ☆77Updated 9 years ago
• diffbot / knowledge-net
  KnowledgeNet: A Benchmark Dataset for Knowledge Base Population
  ☆263Updated 3 years ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆69Updated 8 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆103Updated 3 months ago
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆236Updated 11 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆316Updated 3 weeks ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• phillord / hermit-reasoner
  ☆53Updated 3 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated last week