Alternatives and similar repositories for ULKB:

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

• IBM / AMR-CSLogic
  A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.
  ☆12Updated 2 years ago
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆14Updated 2 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆83Updated last year
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆40Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆44Updated this week
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆21Updated 8 months ago
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆244Updated last year
• bio-ontology-research-group / mowl
  mOWL: Machine Learning library with Ontologies
  ☆63Updated last week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆206Updated 5 months ago
• nuric / deeplogic
  DeepLogic: Towards End-to-End Differentiable Logical Reasoning
  ☆23Updated 4 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 2 months ago
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆36Updated 2 years ago
• ML-KULeuven / deepstochlog
  ☆26Updated 11 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆19Updated last month
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆101Updated 5 months ago
• KRR-Oxford / OWL2Vec-Star
  Embedding OWL ontologies
  ☆93Updated last year
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 4 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆212Updated 2 weeks ago
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆281Updated 2 months ago
• turing-knowledge-graphs / meet-ups
  Resources from the Interest Group meet-ups
  ☆65Updated last month
• Cognonto / CWPK
  'Cooking with Python and KBpedia' recipes and Jupyter Notebooks
  ☆28Updated 3 years ago
• stefano-bragaglia / DePYsible
  An implementation of Defeasible Logic in Python
  ☆16Updated 6 years ago
• usc-isi-i2 / cskg
  CSKG: The CommonSense Knowledge Graph
  ☆115Updated last year
• metaphacts / semopenalex
  ☆45Updated last month
• nerdimite / neuro-symbolic-ai-soc
  Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
  ☆53Updated 3 years ago
• turing-knowledge-graphs / teaching
  Teaching material relevant to KGs
  ☆95Updated this week
• KRR-Oxford / DeepOnto
  A package for ontology engineering with deep learning and language models.
  ☆205Updated last month
• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆13Updated 2 months ago