Alternatives and similar repositories for kalm

Users that are interested in kalm are comparing it to the libraries listed below

• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 3 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated last month
• ontologyportal / sigmanlp
  NLP functionality on top of the Sigma system
  ☆17Updated 2 weeks ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated 2 years ago
• ptarau / DeepRank
  A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…
  ☆31Updated last year
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 4 months ago
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• Kaljurand / aceview
  ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …
  ☆9Updated 6 years ago
• SNePS / CSNePS
  The CSNePS Knowledge Representation and Reasoning System
  ☆27Updated 2 weeks ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• uzh / fox
  A framework for PSL inference.
  ☆21Updated 9 years ago
• gangeli / NaturalLI
  Natural Logic Inference for Common Sense Reasoning
  ☆61Updated 6 years ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆13Updated last month
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 8 years ago
• valeriobasile / learningbyreading
  Learning by Reading pipeline of NLP and Entity Linking tools
  ☆85Updated 2 years ago
• julianmendez / born
  Bayesian Ontology Reasoner
  ☆13Updated 2 weeks ago
• Effervex / CycDAG
  A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…
  ☆20Updated 9 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆14Updated 9 years ago
• opencog / relex
  English Dependency Relationship Extractor
  ☆85Updated 4 months ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆36Updated 10 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆47Updated last year
• dkpro / dkpro-uby
  Framework for creating and accessing UBY resources – sense-linked lexical resources in standard UBY-LMF format
  ☆22Updated 6 years ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆109Updated 6 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆73Updated last month
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆38Updated last year
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated 2 years ago
• ekaf / wordnet-prolog
  Prolog versions of the WordNet databases
  ☆30Updated last year