Alternatives and similar repositories for ULKB:

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

• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆14Updated 2 years ago
• 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 3 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆88Updated last year
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆228Updated 8 months ago
• bio-ontology-research-group / mowl
  mOWL: Machine Learning library with Ontologies
  ☆65Updated 2 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 2 weeks ago
• delph-in / docs
  DELPH-IN Documentation
  ☆29Updated this week
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆44Updated last year
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 3 years ago
• alevkov / text2log
  Character-based seq2seq models (english => predicate logic)
  ☆14Updated 4 years ago
• kyleiwaniec / neuro-symbolic-ai-systematic-review
  ☆18Updated 2 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• ML-KULeuven / deepstochlog
  ☆31Updated last year
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆73Updated 3 years ago
• azreasoners / NeurASP
  ☆44Updated last year
• IBM / RuDaS
  RuDaS: Synthetic Datasets for Rule Learning
  ☆19Updated 2 years 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
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆221Updated 2 weeks ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• turing-knowledge-graphs / members
  Members of the Knowledge Graphs Interest Group at the Alan Turing Institute
  ☆25Updated 8 months ago
• turing-knowledge-graphs / meet-ups
  Resources from the Interest Group meet-ups
  ☆70Updated 3 months ago
• turing-knowledge-graphs / teaching
  Teaching material relevant to KGs
  ☆102Updated 3 months ago
• KRR-Oxford / HierarchyTransformers
  Language Models as Hierarchy Encoders
  ☆25Updated 2 months ago
• Aunsiels / CSK
  Code for generating Quasimodo, a commonsense knowledge base.
  ☆20Updated 3 years ago
• ccclyu / awesome-deeplogic
  A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
  ☆271Updated 8 months ago
• IBM / hspo-ontology
  Ontology representing a 360-view of a person (or cohort) that spans across multiple domains, from health to social.
  ☆34Updated last year
• IBM / datascienceontology
  Data Science Ontology
  ☆37Updated 7 months ago
• potassco / asprin
  💊 Qualitative and quantitative optimization in answer set programming
  ☆20Updated 10 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆56Updated last month